Propositonal Logic Prover