the promoting does not occur and the run-through does not occur.
sent1: the fact that the ministerialness happens hold if the impoundment happens. sent2: if the fact that the carol does not occur hold then that the promoting does not occur and the run-through does not occur is false. sent3: the wheatenness does not occur. sent4: that both the non-Maoistness and the non-calycealness happens is not true if the wheatenness does not occur. sent5: the exegeticness happens. sent6: if the blackingness does not occur then the catalecticness and the consolation occurs. sent7: that the cataclinalness does not occur brings about that the consolation happens and/or the unjustness does not occur. sent8: that that the puncture does not occur and the volumetricness does not occur is not right hold if the self does not occur. sent9: that the cyclone and the non-pyrecticness occurs is false if the captainship does not occur. sent10: the blacking does not occur. sent11: the swilling occurs if the cataclinalness occurs. sent12: the junction but not the lap happens. sent13: the promoting does not occur and the run-through does not occur if the wheatenness happens. sent14: both the innings and the non-midiness happens. sent15: if either the outboard occurs or the swilling happens or both the carol does not occur. sent16: if the hitting does not occur then the Simonizing punter happens. sent17: if the consolation and the fairness occurs then the cataclinalness happens. sent18: that the promoting occurs and the run-through does not occur does not hold. sent19: if the fact that the carol does not occur hold the fact that the fact that not the promoting but the run-through happens is wrong hold. sent20: the unjustness does not occur if the fact that both the non-Maoistness and the non-calycealness occurs is false.
sent4 & sent3 -> int1: the fact that the non-Maoistness and the non-calycealness occurs does not hold.; int1 & sent20 -> int2: the unjustness does not occur.; sent6 & sent10 -> int3: the catalectic occurs and the consolation happens.; int3 -> int4: the consolation occurs.; int2 & int4 -> int5: the consolation but not the unjustness occurs.; int5 & sent17 -> int6: the cataclinalness happens.; int6 & sent11 -> int7: the swilling occurs.; int7 -> int8: either the outboardness occurs or the swilling happens or both.; int8 & sent15 -> int9: the carol does not occur.; int9 & sent2 -> hypothesis;
the promoting does not occur and the run-through does not occur.
$hypothesis$ = the promoting does not occur and the run-through does not occur. ; $context$ = sent1: the fact that the ministerialness happens hold if the impoundment happens. sent2: if the fact that the carol does not occur hold then that the promoting does not occur and the run-through does not occur is false. sent3: the wheatenness does not occur. sent4: that both the non-Maoistness and the non-calycealness happens is not true if the wheatenness does not occur. sent5: the exegeticness happens. sent6: if the blackingness does not occur then the catalecticness and the consolation occurs. sent7: that the cataclinalness does not occur brings about that the consolation happens and/or the unjustness does not occur. sent8: that that the puncture does not occur and the volumetricness does not occur is not right hold if the self does not occur. sent9: that the cyclone and the non-pyrecticness occurs is false if the captainship does not occur. sent10: the blacking does not occur. sent11: the swilling occurs if the cataclinalness occurs. sent12: the junction but not the lap happens. sent13: the promoting does not occur and the run-through does not occur if the wheatenness happens. sent14: both the innings and the non-midiness happens. sent15: if either the outboard occurs or the swilling happens or both the carol does not occur. sent16: if the hitting does not occur then the Simonizing punter happens. sent17: if the consolation and the fairness occurs then the cataclinalness happens. sent18: that the promoting occurs and the run-through does not occur does not hold. sent19: if the fact that the carol does not occur hold the fact that the fact that not the promoting but the run-through happens is wrong hold. sent20: the unjustness does not occur if the fact that both the non-Maoistness and the non-calycealness occurs is false. ; $proof$ = 
sent4 & sent3 -> int1: the fact that the non-Maoistness and the non-calycealness occurs does not hold.; int1 & sent20 -> int2: the unjustness does not occur.; sent6 & sent10 -> int3: the catalectic occurs and the consolation happens.; int3 -> int4: the consolation occurs.; int2 & int4 -> int5: the consolation but not the unjustness occurs.; int5 & sent17 -> int6: the cataclinalness happens.; int6 & sent11 -> int7: the swilling occurs.; int7 -> int8: either the outboardness occurs or the swilling happens or both.; int8 & sent15 -> int9: the carol does not occur.; int9 & sent2 -> hypothesis; __DISPROVED__