the comparativeness happens if the excusableness occurs.
sent1: that the reduplication does not occur results in that that the stoppableness and the quartering happens is right. sent2: the diastole happens if the exhilarating chant does not occur. sent3: both the exhilarating chant and the excusableness occurs. sent4: that the reduplication does not occur hold if that the discussion does not occur and/or the ataxicness occurs does not hold. sent5: the diastole occurs if the fact that the exhilarating chant and the excusableness happens is incorrect. sent6: that that both the nationalness and the non-antrorseness happens is not wrong does not hold. sent7: that the twang occurs is brought about by that the excusableness occurs but the exhilarating chant does not occur. sent8: the exhilarating chant happens. sent9: the diastole happens if the fact that both the exhilarating chant and the inexcusableness occurs is wrong. sent10: the diastole happens if the exhilarating chant and the inexcusableness happens. sent11: the diastole does not occur and the comparative does not occur if the stoppableness occurs.
void -> assump1: Let's assume that the fact that the excusableness happens is right.; void -> assump2: Let's assume that the exhilarating chant but not the excusableness occurs.; assump2 -> int1: the excusableness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the exhilarating chant and the inexcusableness happens is incorrect.; sent9 & int3 -> int4: the diastole occurs.;
the twanging happens.
$hypothesis$ = the comparativeness happens if the excusableness occurs. ; $context$ = sent1: that the reduplication does not occur results in that that the stoppableness and the quartering happens is right. sent2: the diastole happens if the exhilarating chant does not occur. sent3: both the exhilarating chant and the excusableness occurs. sent4: that the reduplication does not occur hold if that the discussion does not occur and/or the ataxicness occurs does not hold. sent5: the diastole occurs if the fact that the exhilarating chant and the excusableness happens is incorrect. sent6: that that both the nationalness and the non-antrorseness happens is not wrong does not hold. sent7: that the twang occurs is brought about by that the excusableness occurs but the exhilarating chant does not occur. sent8: the exhilarating chant happens. sent9: the diastole happens if the fact that both the exhilarating chant and the inexcusableness occurs is wrong. sent10: the diastole happens if the exhilarating chant and the inexcusableness happens. sent11: the diastole does not occur and the comparative does not occur if the stoppableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the excusableness happens is right.; void -> assump2: Let's assume that the exhilarating chant but not the excusableness occurs.; assump2 -> int1: the excusableness does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the exhilarating chant and the inexcusableness happens is incorrect.; sent9 & int3 -> int4: the diastole occurs.; __UNKNOWN__