Now to obtain more true sentences about naturals, we use inference rules. I give one possible Fitch-style deductive system for first-order logic
here. You should actually try it out to see how logical reasoning can be done with 100% precision yet in a reasonably human-friendly manner.