nltk.TableauProver.prove
========================

.. currentmodule:: nltk

.. automethod:: TableauProver.prove