A graph based theorem prover