the comparing does not occur.
sent1: both the abactinalness and the non-categoricness occurs. sent2: the Puranicness does not occur if that the compelling Agincourt does not occur and the comparing does not occur is not right. sent3: if the DOS does not occur then the fact that the compelling Agincourt does not occur and the comparing does not occur is not correct. sent4: the show occurs. sent5: the fact that the scenting colophon but not the reflux happens is wrong if the anagogicness does not occur. sent6: the whacking does not occur. sent7: if the comparing does not occur that the show but not the whacking happens is not correct. sent8: if the DOS does not occur the comparing does not occur and the compelling Agincourt does not occur.
void -> assump1: Let's assume that the comparing does not occur.; sent7 & assump1 -> int1: that the show happens but the whack does not occur does not hold.; sent4 & sent6 -> int2: the show happens and the whacking does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the comparing does not occur.
$hypothesis$ = the comparing does not occur. ; $context$ = sent1: both the abactinalness and the non-categoricness occurs. sent2: the Puranicness does not occur if that the compelling Agincourt does not occur and the comparing does not occur is not right. sent3: if the DOS does not occur then the fact that the compelling Agincourt does not occur and the comparing does not occur is not correct. sent4: the show occurs. sent5: the fact that the scenting colophon but not the reflux happens is wrong if the anagogicness does not occur. sent6: the whacking does not occur. sent7: if the comparing does not occur that the show but not the whacking happens is not correct. sent8: if the DOS does not occur the comparing does not occur and the compelling Agincourt does not occur. ; $proof$ = 
void -> assump1: Let's assume that the comparing does not occur.; sent7 & assump1 -> int1: that the show happens but the whack does not occur does not hold.; sent4 & sent6 -> int2: the show happens and the whacking does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__