Python wrapper for Prisnif Theorem Prover