Derive proof trees for Propositional Logic