... proof method is what you should use. It takes ... of practice memorizing inferences. You'll start to see ... same inferences / set ups you commit to memory end ... with something or were too slow in your set ... on logic. This way you can diagram rules without even having ...