nltk.TableauProverCommand.prove

TableauProverCommand.prove(verbose=False)

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