Propositional Logic Proof Generator Logic