the refutation occurs.
sent1: the gastrectomy does not occur if that the refutation does not occur and the replacement does not occur is incorrect. sent2: the replacement and the servicing flatlet happens. sent3: that the ophiolatry occurs results in that the non-electricalness and the lesson happens. sent4: the tremble does not occur if that the oralness occurs and the leisure occurs is not correct. sent5: the endowment occurs and the rhetoricalness happens if the Romanshness does not occur. sent6: the jihadiness does not occur if the refutation does not occur. sent7: if the fact that either the servicing insightfulness or the superannuation or both happens is not right then the novation does not occur. sent8: that the jihadiness happens or the corvee occurs or both is false if the refutation does not occur. sent9: if the fact that the lesson happens is true the servicing flatlet occurs. sent10: if the injecting happens the thoughtfulness does not occur. sent11: if the rhetoricalness occurs then either the servicing annulment happens or the pacing does not occur or both. sent12: that the comparison or the gag or both occurs is wrong. sent13: the fact that that the oral occurs and the leisure occurs hold is not true if the withholding does not occur. sent14: if the jihadiness does not occur and the occasions does not occur then the injecting happens. sent15: the fracturing spirometer does not occur. sent16: the fact that the jihadiness does not occur is not false. sent17: that the pop occurs and the ophiolatry happens is triggered by that the tremble does not occur. sent18: the Romansh does not occur if the gag does not occur and the cruciferousness does not occur. sent19: the replacement does not occur if that either the jihadiness happens or the corvee occurs or both is not correct. sent20: if the servicing flatlet occurs then the fact that the refutation does not occur and the replacement does not occur is not correct. sent21: the refutation does not occur and the replacement does not occur if the servicing flatlet does not occur. sent22: the gag does not occur and the cruciferousness does not occur if the thoughtfulness does not occur.
void -> assump1: Let's assume that the refutation does not occur.; sent8 & assump1 -> int1: the fact that the fact that the jihadiness and/or the corvee occurs is not right hold.; int1 & sent19 -> int2: that the replacement does not occur is not wrong.; sent2 -> int3: the replacement happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the refutation does not occur.
$hypothesis$ = the refutation occurs. ; $context$ = sent1: the gastrectomy does not occur if that the refutation does not occur and the replacement does not occur is incorrect. sent2: the replacement and the servicing flatlet happens. sent3: that the ophiolatry occurs results in that the non-electricalness and the lesson happens. sent4: the tremble does not occur if that the oralness occurs and the leisure occurs is not correct. sent5: the endowment occurs and the rhetoricalness happens if the Romanshness does not occur. sent6: the jihadiness does not occur if the refutation does not occur. sent7: if the fact that either the servicing insightfulness or the superannuation or both happens is not right then the novation does not occur. sent8: that the jihadiness happens or the corvee occurs or both is false if the refutation does not occur. sent9: if the fact that the lesson happens is true the servicing flatlet occurs. sent10: if the injecting happens the thoughtfulness does not occur. sent11: if the rhetoricalness occurs then either the servicing annulment happens or the pacing does not occur or both. sent12: that the comparison or the gag or both occurs is wrong. sent13: the fact that that the oral occurs and the leisure occurs hold is not true if the withholding does not occur. sent14: if the jihadiness does not occur and the occasions does not occur then the injecting happens. sent15: the fracturing spirometer does not occur. sent16: the fact that the jihadiness does not occur is not false. sent17: that the pop occurs and the ophiolatry happens is triggered by that the tremble does not occur. sent18: the Romansh does not occur if the gag does not occur and the cruciferousness does not occur. sent19: the replacement does not occur if that either the jihadiness happens or the corvee occurs or both is not correct. sent20: if the servicing flatlet occurs then the fact that the refutation does not occur and the replacement does not occur is not correct. sent21: the refutation does not occur and the replacement does not occur if the servicing flatlet does not occur. sent22: the gag does not occur and the cruciferousness does not occur if the thoughtfulness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the refutation does not occur.; sent8 & assump1 -> int1: the fact that the fact that the jihadiness and/or the corvee occurs is not right hold.; int1 & sent19 -> int2: that the replacement does not occur is not wrong.; sent2 -> int3: the replacement happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__