def prover9_input(self, goal, assumptions):
        s = 'clear(auto_denials).\n' #only one proof required
        return s + Prover9Parent.prover9_input(self, goal, assumptions)
:see: Prover9Parent.prover9_input
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9.prover9_input