that the deveining gyration and the watching strabotomy occurs does not hold.
sent1: the watching strabotomy occurs if the humming Thornton happens. sent2: if that the cramming Calymmatobacterium but not the ambulating happens is wrong then the wrongness occurs. sent3: the humming Thornton occurs. sent4: the fact that the cramming Calymmatobacterium happens but the ambulating does not occur is not right. sent5: the bucolicness happens if the fact that the fact that the computationalness but not the rickettsialness occurs hold does not hold. sent6: the deveining gyration happens if the wronging happens.
sent2 & sent4 -> int1: the wrong happens.; int1 & sent6 -> int2: the deveining gyration occurs.; sent1 & sent3 -> int3: that the watching strabotomy happens is true.; int2 & int3 -> hypothesis;
$hypothesis$ = that the deveining gyration and the watching strabotomy occurs does not hold. ; $context$ = sent1: the watching strabotomy occurs if the humming Thornton happens. sent2: if that the cramming Calymmatobacterium but not the ambulating happens is wrong then the wrongness occurs. sent3: the humming Thornton occurs. sent4: the fact that the cramming Calymmatobacterium happens but the ambulating does not occur is not right. sent5: the bucolicness happens if the fact that the fact that the computationalness but not the rickettsialness occurs hold does not hold. sent6: the deveining gyration happens if the wronging happens. ; $proof$ = 
sent2 & sent4 -> int1: the wrong happens.; int1 & sent6 -> int2: the deveining gyration occurs.; sent1 & sent3 -> int3: that the watching strabotomy happens is true.; int2 & int3 -> hypothesis; __DISPROVED__