Paradox theorem prover