nltk.TableauProverCommand.retract_assumptions
=============================================

.. currentmodule:: nltk

.. automethod:: TableauProverCommand.retract_assumptions