nltk.ResolutionProverCommand.decorate_proof
===========================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.decorate_proof