nltk.ResolutionProverCommand.proof

ResolutionProverCommand.proof(simplify=True)

Return the proof string :param simplify: bool simplify the proof? :return: str