nltk.TableauProver.prove¶

TableauProver.prove(goal=None, assumptions=None, verbose=False)¶

Returns:	Whether the proof was successful or not.
Return type:	bool