def forward(self, n=1):
        self._traverse(n)
Perform the actual proof.  Store the result to prevent unnecessary
dataset/ETHPy150Open jmcarp/robobrowser/robobrowser/browser.py/RoboBrowser.forward--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/ResolutionProverCommand.prove