that if that the modernism happens is not wrong then the rhonchus does not occur is right.
sent1: that the overpressure and the rhonchus occurs yields that the modernism does not occur. sent2: that the flocking yolk happens is correct. sent3: the non-undeniableness is triggered by the chicane. sent4: that both the overpressure and the rhonchus happens prevents that the modernism does not occur. sent5: that the sojourning does not occur is right. sent6: the parasiticness happens. sent7: the expansionistness occurs and the twinging happens. sent8: that the overpressure does not occur is prevented by the biblicalness. sent9: the mutter happens. sent10: that the cathecting chrysoberyl happens triggers the sojourning. sent11: both the none and the palpebrating happens. sent12: both the feature and the alkahesticness occurs. sent13: the autodidacticness happens. sent14: the rhonchus occurs if the modernism occurs. sent15: both the autodidacticness and the biblicalness occurs. sent16: the fact that the flocking pug does not occur is true if both the amending and the pecking happens. sent17: that the Advent does not occur is triggered by that both the involuntariness and the prosthodonticness occurs. sent18: the chancellorship occurs and the cathecting Ischia happens.
void -> assump2: Let's assume that the modernism happens.; sent15 -> int1: the biblicalness happens.; sent8 & int1 -> int2: the overpressure occurs.; void -> assump1: Let's assume that the rhonchus occurs.; int2 & assump1 -> int3: the overpressure happens and the rhonchus happens.; sent1 & int3 -> int4: the modernism does not occur.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rhonchus does not occur.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that if that the modernism happens is not wrong then the rhonchus does not occur is right. ; $context$ = sent1: that the overpressure and the rhonchus occurs yields that the modernism does not occur. sent2: that the flocking yolk happens is correct. sent3: the non-undeniableness is triggered by the chicane. sent4: that both the overpressure and the rhonchus happens prevents that the modernism does not occur. sent5: that the sojourning does not occur is right. sent6: the parasiticness happens. sent7: the expansionistness occurs and the twinging happens. sent8: that the overpressure does not occur is prevented by the biblicalness. sent9: the mutter happens. sent10: that the cathecting chrysoberyl happens triggers the sojourning. sent11: both the none and the palpebrating happens. sent12: both the feature and the alkahesticness occurs. sent13: the autodidacticness happens. sent14: the rhonchus occurs if the modernism occurs. sent15: both the autodidacticness and the biblicalness occurs. sent16: the fact that the flocking pug does not occur is true if both the amending and the pecking happens. sent17: that the Advent does not occur is triggered by that both the involuntariness and the prosthodonticness occurs. sent18: the chancellorship occurs and the cathecting Ischia happens. ; $proof$ = 
void -> assump2: Let's assume that the modernism happens.; sent15 -> int1: the biblicalness happens.; sent8 & int1 -> int2: the overpressure occurs.; void -> assump1: Let's assume that the rhonchus occurs.; int2 & assump1 -> int3: the overpressure happens and the rhonchus happens.; sent1 & int3 -> int4: the modernism does not occur.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rhonchus does not occur.; [assump2] & int6 -> hypothesis; __PROVED__