nltk.ResolutionProverCommand.prove¶

ResolutionProverCommand.prove(verbose=False)[source]¶

Perform the actual proof. Store the result to prevent unnecessary re-proving.