that the stumbling turnip happens and the strut occurs is not correct.
sent1: the fact that the grading g does not occur is true. sent2: the grading g does not occur and the branching does not occur. sent3: if the branch does not occur then the fact that the stumbling turnip happens and the strut occurs is not correct.
sent2 -> int1: that the branching does not occur is true.; sent3 & int1 -> hypothesis;
$hypothesis$ = that the stumbling turnip happens and the strut occurs is not correct. ; $context$ = sent1: the fact that the grading g does not occur is true. sent2: the grading g does not occur and the branching does not occur. sent3: if the branch does not occur then the fact that the stumbling turnip happens and the strut occurs is not correct. ; $proof$ = 
sent2 -> int1: that the branching does not occur is true.; sent3 & int1 -> hypothesis; __PROVED__