the fact that that the non-allergicness and the collapse occurs is triggered by the rupture does not hold.
sent1: if that the fact that not the allergicness but the collapse happens hold is not right then the rupture does not occur. sent2: that the killing does not occur causes that the Sudanese and the decorating Perm occurs. sent3: both the non-geriatricsness and the Gallicanness occurs if the bit happens. sent4: the collapsing does not occur. sent5: both the non-Estonianness and the dreaming succedaneum occurs if the hydrodynamicsness occurs. sent6: the hydrodynamicsness occurs and the rupture happens if the geriatricsness does not occur. sent7: if the gentileness occurs then the bit happens. sent8: that not the allergicness but the collapsing occurs triggers that the rupture does not occur. sent9: that the Sudaneseness occurs brings about that the gentile happens but the decorating papulovesicle does not occur.
void -> assump1: Let's assume that the fact that not the allergicness but the collapsing occurs is not correct.; sent1 & assump1 -> int1: the rupture does not occur.; void -> assump2: Let's assume that the rupture occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: both the non-allergicness and the collapsing happens.; [assump2] & int3 -> hypothesis;
not the Estonianness but the dreaming succedaneum happens.
$hypothesis$ = the fact that that the non-allergicness and the collapse occurs is triggered by the rupture does not hold. ; $context$ = sent1: if that the fact that not the allergicness but the collapse happens hold is not right then the rupture does not occur. sent2: that the killing does not occur causes that the Sudanese and the decorating Perm occurs. sent3: both the non-geriatricsness and the Gallicanness occurs if the bit happens. sent4: the collapsing does not occur. sent5: both the non-Estonianness and the dreaming succedaneum occurs if the hydrodynamicsness occurs. sent6: the hydrodynamicsness occurs and the rupture happens if the geriatricsness does not occur. sent7: if the gentileness occurs then the bit happens. sent8: that not the allergicness but the collapsing occurs triggers that the rupture does not occur. sent9: that the Sudaneseness occurs brings about that the gentile happens but the decorating papulovesicle does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the allergicness but the collapsing occurs is not correct.; sent1 & assump1 -> int1: the rupture does not occur.; void -> assump2: Let's assume that the rupture occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: both the non-allergicness and the collapsing happens.; [assump2] & int3 -> hypothesis; __DISPROVED__