http://apaitu.web.id/332990-automated-theorem-prover/