nltk.Prover9.prove
==================

.. currentmodule:: nltk

.. automethod:: Prover9.prove