nltk.ResolutionProverCommand.proof
==================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.proof