that that the horariness occurs prevents that the orthopticness does not occur is wrong.
sent1: the contamination happens if the zygodactylness occurs. sent2: if the seminar happens then that the araneidalness happens hold. sent3: if the hazing emcee does not occur then the backflow happens. sent4: if the captioning does not occur then the backflow happens. sent5: the wagging happens if the twit does not occur. sent6: that the preferment does not occur is prevented by that the circumduction happens. sent7: that the sloth does not occur triggers the tracklessness. sent8: the terpsichoreanness occurs if the thundershower does not occur. sent9: if the misappropriation happens then the wag occurs. sent10: if the diagonalizableness occurs then the orthopticness happens. sent11: the hazing gat happens. sent12: the seminar occurs. sent13: the diagonalizableness happens if the backflow happens. sent14: if the splash does not occur then the hazing supertonic occurs. sent15: the fact that the surmising Soricidae happens is not wrong if the poundage happens. sent16: that the horariness occurs leads to that the caption does not occur or the hazing emcee does not occur or both.
void -> assump1: Let's assume that the horariness occurs.; sent16 & assump1 -> int1: the caption does not occur and/or the hazing emcee does not occur.; int1 & sent4 & sent3 -> int2: the fact that the backflow occurs is correct.; sent13 & int2 -> int3: the diagonalizableness happens.; sent10 & int3 -> int4: the orthopticness occurs.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that that the horariness occurs prevents that the orthopticness does not occur is wrong. ; $context$ = sent1: the contamination happens if the zygodactylness occurs. sent2: if the seminar happens then that the araneidalness happens hold. sent3: if the hazing emcee does not occur then the backflow happens. sent4: if the captioning does not occur then the backflow happens. sent5: the wagging happens if the twit does not occur. sent6: that the preferment does not occur is prevented by that the circumduction happens. sent7: that the sloth does not occur triggers the tracklessness. sent8: the terpsichoreanness occurs if the thundershower does not occur. sent9: if the misappropriation happens then the wag occurs. sent10: if the diagonalizableness occurs then the orthopticness happens. sent11: the hazing gat happens. sent12: the seminar occurs. sent13: the diagonalizableness happens if the backflow happens. sent14: if the splash does not occur then the hazing supertonic occurs. sent15: the fact that the surmising Soricidae happens is not wrong if the poundage happens. sent16: that the horariness occurs leads to that the caption does not occur or the hazing emcee does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the horariness occurs.; sent16 & assump1 -> int1: the caption does not occur and/or the hazing emcee does not occur.; int1 & sent4 & sent3 -> int2: the fact that the backflow occurs is correct.; sent13 & int2 -> int3: the diagonalizableness happens.; sent10 & int3 -> int4: the orthopticness occurs.; [assump1] & int4 -> hypothesis; __DISPROVED__