#NEWLINE# def prove( self , verbose = False ) : #NEWLINE# #INDENT# '\n        Perform the actual proof.  Store the result to prevent unnecessary\n        re-proving.\n        ' #NEWLINE# if ( self . _result is None ) : #NEWLINE# #INDENT# ( self . _result , clauses ) = self . _prover . _prove ( self . goal ( ) , self . assumptions ( ) , verbose ) #NEWLINE# self . _clauses = clauses #NEWLINE# self . _proof = ResolutionProverCommand . _decorate_clauses ( clauses ) #NEWLINE# #UNINDENT# return self . _result