the disagreement occurs.
sent1: if the frustration does not occur the intramuralness and the elaborating occurs. sent2: both the damper and the carol occurs. sent3: that the damper happens is prevented by that the hazing irreligionist does not occur. sent4: that the true-falseness does not occur and the damper does not occur results in that the ballooning does not occur. sent5: that the unenforceableness does not occur and the elaborating does not occur results in that the disagreement happens. sent6: if the acervateness does not occur then both the wedge and the solemnizing hybridoma occurs. sent7: if the fact that the intramuralness happens is not wrong the true-falseness does not occur and the damper does not occur. sent8: the superconductivity happens. sent9: that the frustration does not occur but the transuranicness happens is brought about by that the solemnizing hybridoma happens. sent10: the transuranicness occurs. sent11: the teasing home does not occur. sent12: the thirstiness does not occur and the vesting does not occur. sent13: the caroling occurs if the teasing home does not occur. sent14: if the fact that the hazing irreligionist does not occur and the ballooning does not occur is incorrect then the true-falseness happens. sent15: the fact that the disagreement does not occur if the hazing irreligionist but not the ballooning happens is not wrong. sent16: the unenforceableness does not occur.
void -> assump1: Let's assume that the hazing irreligionist does not occur and the ballooning does not occur.; assump1 -> int1: the hazing irreligionist does not occur.; int1 & sent3 -> int2: the damper does not occur.; sent2 -> int3: the damper occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the hazing irreligionist does not occur and the ballooning does not occur does not hold.; int5 & sent14 -> int6: the true-falseness happens.; int6 -> int7: the true-falseness happens and/or the intramuralness occurs.;
the disagreement does not occur.
sent13 & sent11 -> int8: the caroling occurs.;
$hypothesis$ = the disagreement occurs. ; $context$ = sent1: if the frustration does not occur the intramuralness and the elaborating occurs. sent2: both the damper and the carol occurs. sent3: that the damper happens is prevented by that the hazing irreligionist does not occur. sent4: that the true-falseness does not occur and the damper does not occur results in that the ballooning does not occur. sent5: that the unenforceableness does not occur and the elaborating does not occur results in that the disagreement happens. sent6: if the acervateness does not occur then both the wedge and the solemnizing hybridoma occurs. sent7: if the fact that the intramuralness happens is not wrong the true-falseness does not occur and the damper does not occur. sent8: the superconductivity happens. sent9: that the frustration does not occur but the transuranicness happens is brought about by that the solemnizing hybridoma happens. sent10: the transuranicness occurs. sent11: the teasing home does not occur. sent12: the thirstiness does not occur and the vesting does not occur. sent13: the caroling occurs if the teasing home does not occur. sent14: if the fact that the hazing irreligionist does not occur and the ballooning does not occur is incorrect then the true-falseness happens. sent15: the fact that the disagreement does not occur if the hazing irreligionist but not the ballooning happens is not wrong. sent16: the unenforceableness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the hazing irreligionist does not occur and the ballooning does not occur.; assump1 -> int1: the hazing irreligionist does not occur.; int1 & sent3 -> int2: the damper does not occur.; sent2 -> int3: the damper occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the hazing irreligionist does not occur and the ballooning does not occur does not hold.; int5 & sent14 -> int6: the true-falseness happens.; int6 -> int7: the true-falseness happens and/or the intramuralness occurs.; __UNKNOWN__