nltk.TableauProverCommand.proof
===============================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.proof