nltk.Prover9Command.prove
=========================

.. currentmodule:: nltk

.. automethod:: Prover9Command.prove