SPASS theorem prover
 
x
OK