nltk.Prover9.prove

Prover9.prove(goal=None, assumptions=None, verbose=False)
Returns:Whether the proof was successful or not.
Return type:bool