nltk.TableauProverCommand.proof

TableauProverCommand.proof(simplify=True)

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