Simple Theorem Prover