nltk.ResolutionProverCommand.prove
==================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.prove