def prover9_input(self, goal, assumptions):
        s = ''

        if assumptions:
            s += 'formulas(assumptions).\n'
            for p9_assumption in convert_to_prover9(assumptions):
                s += '    %s.\n' % p9_assumption
            s += 'end_of_list.\n\n'

        if goal:
            s += 'formulas(goals).\n'
            s += '    %s.\n' % convert_to_prover9(goal)
            s += 'end_of_list.\n\n'

        return s
:return: The input string that should be provided to the
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9Parent.prover9_input