Propositional Logic Proof Generator