SCP - Propositional Logic
Insert Sequent:
Prove
Show Subtrees