that that the extinction happens and the airing does not occur prevents that the unsealing standee does not occur is false.
sent1: that the insignificantness but not the praetorship happens is brought about by the non-chancroidalness. sent2: that the identifying occurs but the unsealing quinine does not occur prevents that the bankrupting strainer does not occur. sent3: that the closuring happens and the corruption occurs does not hold. sent4: that the bankrupting Gond and the bankrupting advocacy happens does not hold. sent5: that the modernism does not occur is prevented by that the inconsiderableness but not the bank happens. sent6: if the acroscopicness does not occur then the fact that the unsealing Ziphiidae but not the economy occurs does not hold. sent7: the airing does not occur. sent8: if the fact that the unsealing standee does not occur is right the fact that the extinction but not the airing happens is not correct. sent9: the dividing happens and the ischemicness does not occur. sent10: the fact that the extinction and the airing occurs is wrong if the unsealing standee does not occur. sent11: that the riffling Armillariella occurs but the heroicness does not occur yields that the callithump occurs. sent12: if the antimagneticness does not occur then the Cenozoic occurs but the Himalayanness does not occur. sent13: that the extinction but not the airing occurs is not right if that the unsealing standee occurs is correct. sent14: the stomatalness happens. sent15: the riffling Hadrian happens and the gastroenterostomy does not occur. sent16: the belemniticness does not occur. sent17: that the reveille does not occur triggers that the rustlessness but not the ungrammaticalness happens. sent18: the musicologicalness happens.
void -> assump1: Let's assume that the unsealing standee does not occur.; sent8 & assump1 -> int1: the fact that the extinction but not the airing happens does not hold.; void -> assump2: Let's assume that the extinction occurs but the airing does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the unsealing standee happens is not false.; [assump2] & int3 -> hypothesis;
$hypothesis$ = that that the extinction happens and the airing does not occur prevents that the unsealing standee does not occur is false. ; $context$ = sent1: that the insignificantness but not the praetorship happens is brought about by the non-chancroidalness. sent2: that the identifying occurs but the unsealing quinine does not occur prevents that the bankrupting strainer does not occur. sent3: that the closuring happens and the corruption occurs does not hold. sent4: that the bankrupting Gond and the bankrupting advocacy happens does not hold. sent5: that the modernism does not occur is prevented by that the inconsiderableness but not the bank happens. sent6: if the acroscopicness does not occur then the fact that the unsealing Ziphiidae but not the economy occurs does not hold. sent7: the airing does not occur. sent8: if the fact that the unsealing standee does not occur is right the fact that the extinction but not the airing happens is not correct. sent9: the dividing happens and the ischemicness does not occur. sent10: the fact that the extinction and the airing occurs is wrong if the unsealing standee does not occur. sent11: that the riffling Armillariella occurs but the heroicness does not occur yields that the callithump occurs. sent12: if the antimagneticness does not occur then the Cenozoic occurs but the Himalayanness does not occur. sent13: that the extinction but not the airing occurs is not right if that the unsealing standee occurs is correct. sent14: the stomatalness happens. sent15: the riffling Hadrian happens and the gastroenterostomy does not occur. sent16: the belemniticness does not occur. sent17: that the reveille does not occur triggers that the rustlessness but not the ungrammaticalness happens. sent18: the musicologicalness happens. ; $proof$ = 
void -> assump1: Let's assume that the unsealing standee does not occur.; sent8 & assump1 -> int1: the fact that the extinction but not the airing happens does not hold.; void -> assump2: Let's assume that the extinction occurs but the airing does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the unsealing standee happens is not false.; [assump2] & int3 -> hypothesis; __DISPROVED__