the catastrophe happens.
sent1: the deposing dearth does not occur if either the casing does not occur or the calvary does not occur or both. sent2: the impalement occurs. sent3: the case does not occur and/or the calvary occurs. sent4: if that the fact that the casing does not occur or the calvary does not occur or both is not right is true then the enumeration does not occur. sent5: if both the preservation and the non-instructionalness occurs then the fact that the impalement occurs is not false. sent6: the enumeration occurs and the impalement occurs. sent7: if the calvary does not occur the fact that the deposing dearth does not occur is true. sent8: if the impalement does not occur then the deposing dearth occurs but the wreck does not occur. sent9: if the fact that the reinstatement happens is not wrong the preservation occurs but the instructionalness does not occur. sent10: the Bavarian happens if that the comptrollership does not occur but the enclosure occurs is not true. sent11: that the deposing dearth occurs is correct if the enumeration does not occur or the deposing dearth happens or both. sent12: the bishopry does not occur if that either the protest does not occur or the deposing sabbat occurs or both is false. sent13: that the deposing dearth happens results in that the mineralness does not occur. sent14: the non-instructionalness and the preservation happens if the fact that the reinstatement happens is not incorrect. sent15: if the deposing dearth does not occur the wrecking occurs. sent16: if the fact that the wreck occurs is correct the fact that the catastrophe does not occur is true. sent17: that the impalement does not occur is brought about by that the instructionalness does not occur and the preservation happens. sent18: that not the thermotherapy but the reinstatement occurs is triggered by that the Bavarianness occurs. sent19: the fact that the disapproval occurs and the mercy occurs is incorrect if that the literature does not occur is correct. sent20: the disapproval does not occur if the fact that the disapproval happens and the mercy happens does not hold. sent21: if the disapproval does not occur that not the comptrollership but the enclosure occurs is not true. sent22: if the deposing dearth occurs then that the catastrophe does not occur and the enumeration does not occur is incorrect.
void -> assump1: Let's assume that that either the case does not occur or the calvary does not occur or both is not right.; sent4 & assump1 -> int1: the enumeration does not occur.; sent6 -> int2: the enumeration happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: either the case does not occur or the calvary does not occur or both.; int4 & sent1 -> int5: the deposing dearth does not occur.; int5 & sent15 -> int6: the wrecking occurs.; int6 & sent16 -> hypothesis;
the catastrophe occurs.
$hypothesis$ = the catastrophe happens. ; $context$ = sent1: the deposing dearth does not occur if either the casing does not occur or the calvary does not occur or both. sent2: the impalement occurs. sent3: the case does not occur and/or the calvary occurs. sent4: if that the fact that the casing does not occur or the calvary does not occur or both is not right is true then the enumeration does not occur. sent5: if both the preservation and the non-instructionalness occurs then the fact that the impalement occurs is not false. sent6: the enumeration occurs and the impalement occurs. sent7: if the calvary does not occur the fact that the deposing dearth does not occur is true. sent8: if the impalement does not occur then the deposing dearth occurs but the wreck does not occur. sent9: if the fact that the reinstatement happens is not wrong the preservation occurs but the instructionalness does not occur. sent10: the Bavarian happens if that the comptrollership does not occur but the enclosure occurs is not true. sent11: that the deposing dearth occurs is correct if the enumeration does not occur or the deposing dearth happens or both. sent12: the bishopry does not occur if that either the protest does not occur or the deposing sabbat occurs or both is false. sent13: that the deposing dearth happens results in that the mineralness does not occur. sent14: the non-instructionalness and the preservation happens if the fact that the reinstatement happens is not incorrect. sent15: if the deposing dearth does not occur the wrecking occurs. sent16: if the fact that the wreck occurs is correct the fact that the catastrophe does not occur is true. sent17: that the impalement does not occur is brought about by that the instructionalness does not occur and the preservation happens. sent18: that not the thermotherapy but the reinstatement occurs is triggered by that the Bavarianness occurs. sent19: the fact that the disapproval occurs and the mercy occurs is incorrect if that the literature does not occur is correct. sent20: the disapproval does not occur if the fact that the disapproval happens and the mercy happens does not hold. sent21: if the disapproval does not occur that not the comptrollership but the enclosure occurs is not true. sent22: if the deposing dearth occurs then that the catastrophe does not occur and the enumeration does not occur is incorrect. ; $proof$ = 
void -> assump1: Let's assume that that either the case does not occur or the calvary does not occur or both is not right.; sent4 & assump1 -> int1: the enumeration does not occur.; sent6 -> int2: the enumeration happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: either the case does not occur or the calvary does not occur or both.; int4 & sent1 -> int5: the deposing dearth does not occur.; int5 & sent15 -> int6: the wrecking occurs.; int6 & sent16 -> hypothesis; __DISPROVED__