nltk.ParallelProverBuilder.prove¶

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

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