nltk.Prover9Command.decorate_proof
==================================

.. currentmodule:: nltk

.. automethod:: Prover9Command.decorate_proof