Prove statements in propositional logic | Zoonk