nltk.ResolutionProver.prove
===========================

.. currentmodule:: nltk

.. automethod:: ResolutionProver.prove