def _prove(self, goal=None, assumptions=None, verbose=False):
        if not assumptions:
            assumptions = []

        stdout, returncode = self._call_prover9(self.prover9_input(goal, assumptions),
                                                verbose=verbose)
        return (returncode == 0, stdout)
Use Prover9 to prove a theorem.
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9._prove