First order logic theorem prover in pure Python | Heykuki News