the evaluating but not the rooting happens.
sent1: if the occupationalness does not occur then the evaluating occurs and the rooting does not occur. sent2: the piecing beef but not the inoperableness happens. sent3: the non-occupationalness is brought about by the boisterousness and/or the trochaicness. sent4: the cloning saddlebag occurs and the feast happens. sent5: that the evaluating occurs and the root does not occur does not hold if the scuffing exquisiteness does not occur. sent6: if that the scuffing exquisiteness happens is not false then the boisterousness occurs. sent7: the boisterousness does not occur if the trochaicness does not occur. sent8: the scuffing exquisiteness and the growing happens.
sent8 -> int1: the scuffing exquisiteness occurs.; sent6 & int1 -> int2: the boisterousness happens.; int2 -> int3: that the boisterousness or the trochaicness or both occurs is right.; sent3 & int3 -> int4: the fact that the occupationalness does not occur is true.; sent1 & int4 -> hypothesis;
that the evaluating but not the root occurs is wrong.
$hypothesis$ = the evaluating but not the rooting happens. ; $context$ = sent1: if the occupationalness does not occur then the evaluating occurs and the rooting does not occur. sent2: the piecing beef but not the inoperableness happens. sent3: the non-occupationalness is brought about by the boisterousness and/or the trochaicness. sent4: the cloning saddlebag occurs and the feast happens. sent5: that the evaluating occurs and the root does not occur does not hold if the scuffing exquisiteness does not occur. sent6: if that the scuffing exquisiteness happens is not false then the boisterousness occurs. sent7: the boisterousness does not occur if the trochaicness does not occur. sent8: the scuffing exquisiteness and the growing happens. ; $proof$ = 
sent8 -> int1: the scuffing exquisiteness occurs.; sent6 & int1 -> int2: the boisterousness happens.; int2 -> int3: that the boisterousness or the trochaicness or both occurs is right.; sent3 & int3 -> int4: the fact that the occupationalness does not occur is true.; sent1 & int4 -> hypothesis; __PROVED__