the intermission does not occur.
sent1: that the rendering bend does not occur results in either that the intermission does not occur or the surgicalness or both. sent2: the BW happens. sent3: the invertibleness occurs. sent4: that the invertibleness and the agitating happens is brought about by that the BW does not occur. sent5: if the invertibleness occurs and the BW happens the intermission does not occur.
sent3 & sent2 -> int1: both the invertibleness and the BW happens.; sent5 & int1 -> hypothesis;
the agitating occurs.
$hypothesis$ = the intermission does not occur. ; $context$ = sent1: that the rendering bend does not occur results in either that the intermission does not occur or the surgicalness or both. sent2: the BW happens. sent3: the invertibleness occurs. sent4: that the invertibleness and the agitating happens is brought about by that the BW does not occur. sent5: if the invertibleness occurs and the BW happens the intermission does not occur. ; $proof$ = 
sent3 & sent2 -> int1: both the invertibleness and the BW happens.; sent5 & int1 -> hypothesis; __PROVED__