I'm sure you're aware of this, but the goal here isn't to prove "True" inferences; they're Valid. That's a really important distinction to make in the practice of logic. It's a neat idea, but a misleading education can be worse than no education at all.