nltk.TableauProverCommand.prove
===============================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.prove