stupid simple theorem prover