the overspill occurs.
sent1: if the training does not occur then the fact that either the non-budgetaryness or the washing-up or both occurs is not right. sent2: if the facilitation does not occur then that either the box does not occur or the fearing lowerclassman happens or both does not hold. sent3: that the budgetariness does not occur brings about that either the facilitation does not occur or the train does not occur or both. sent4: if the fearing lowerclassman does not occur then that the facilitation happens and the boxing happens is not right. sent5: if the fearing lowerclassman occurs the fact that the incumbency does not occur and the repairing Lisu does not occur does not hold. sent6: the repairing Lisu does not occur. sent7: if the pitching towpath does not occur then the washing-up happens and the antidotalness happens. sent8: if the pitching towpath but not the stomatalness happens then the overspill occurs. sent9: that both the non-attitudinalness and the repairing halogen happens hold if the crucialness does not occur. sent10: the incumbency does not occur and the repairing Lisu does not occur. sent11: if that the facilitation and the boxing occurs is incorrect the train does not occur. sent12: that the cryptography does not occur and the plague does not occur triggers that the overspill does not occur. sent13: the cryptography happens. sent14: that the facilitation does not occur prevents the training. sent15: if the antidotalness occurs then the pitching towpath and the non-stomatalness happens. sent16: that the pitching towpath does not occur but the stomatalness occurs is wrong if the plague happens. sent17: the cryptography does not occur and the plague does not occur if the attitudinalness does not occur. sent18: the process does not occur if the fact that either the box does not occur or the fearing lowerclassman occurs or both is not correct. sent19: that the incumbency does not occur and the repairing Lisu occurs is incorrect. sent20: the fearing varicocele occurs. sent21: if the fearing lowerclassman occurs that not the incumbency but the repairing Lisu happens is incorrect. sent22: the pitching towpath happens. sent23: if the washing-up occurs the fact that the training does not occur and the budgetariness does not occur is not correct. sent24: that the plague does not occur is prevented by the cryptography. sent25: that the gladdening bather happens is correct.
void -> assump1: Let's assume that the fearing lowerclassman occurs.; sent5 & assump1 -> int1: the fact that the incumbency does not occur and the repairing Lisu does not occur does not hold.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fearing lowerclassman does not occur.; int3 & sent4 -> int4: that the facilitation and the boxing happens is wrong.; int4 & sent11 -> int5: the training does not occur.; int5 & sent1 -> int6: the fact that the non-budgetariness and/or the washing-up happens is incorrect.;
the overspill does not occur.
sent24 & sent13 -> int7: that the plague occurs is correct.; sent16 & int7 -> int8: that not the pitching towpath but the stomatalness happens is not right.;
$hypothesis$ = the overspill occurs. ; $context$ = sent1: if the training does not occur then the fact that either the non-budgetaryness or the washing-up or both occurs is not right. sent2: if the facilitation does not occur then that either the box does not occur or the fearing lowerclassman happens or both does not hold. sent3: that the budgetariness does not occur brings about that either the facilitation does not occur or the train does not occur or both. sent4: if the fearing lowerclassman does not occur then that the facilitation happens and the boxing happens is not right. sent5: if the fearing lowerclassman occurs the fact that the incumbency does not occur and the repairing Lisu does not occur does not hold. sent6: the repairing Lisu does not occur. sent7: if the pitching towpath does not occur then the washing-up happens and the antidotalness happens. sent8: if the pitching towpath but not the stomatalness happens then the overspill occurs. sent9: that both the non-attitudinalness and the repairing halogen happens hold if the crucialness does not occur. sent10: the incumbency does not occur and the repairing Lisu does not occur. sent11: if that the facilitation and the boxing occurs is incorrect the train does not occur. sent12: that the cryptography does not occur and the plague does not occur triggers that the overspill does not occur. sent13: the cryptography happens. sent14: that the facilitation does not occur prevents the training. sent15: if the antidotalness occurs then the pitching towpath and the non-stomatalness happens. sent16: that the pitching towpath does not occur but the stomatalness occurs is wrong if the plague happens. sent17: the cryptography does not occur and the plague does not occur if the attitudinalness does not occur. sent18: the process does not occur if the fact that either the box does not occur or the fearing lowerclassman occurs or both is not correct. sent19: that the incumbency does not occur and the repairing Lisu occurs is incorrect. sent20: the fearing varicocele occurs. sent21: if the fearing lowerclassman occurs that not the incumbency but the repairing Lisu happens is incorrect. sent22: the pitching towpath happens. sent23: if the washing-up occurs the fact that the training does not occur and the budgetariness does not occur is not correct. sent24: that the plague does not occur is prevented by the cryptography. sent25: that the gladdening bather happens is correct. ; $proof$ = 
void -> assump1: Let's assume that the fearing lowerclassman occurs.; sent5 & assump1 -> int1: the fact that the incumbency does not occur and the repairing Lisu does not occur does not hold.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fearing lowerclassman does not occur.; int3 & sent4 -> int4: that the facilitation and the boxing happens is wrong.; int4 & sent11 -> int5: the training does not occur.; int5 & sent1 -> int6: the fact that the non-budgetariness and/or the washing-up happens is incorrect.; __UNKNOWN__