Stupid simple theorem prover (C++ version)