the fact that the wrath does not occur and the shot does not occur is incorrect.
sent1: the fact that the prewarness does not occur and the promotion does not occur is wrong. sent2: if the permutation happens that the shooting occurs and the weightlift does not occur is incorrect. sent3: the fact that the hypoglycemicness happens but the incalculableness does not occur does not hold. sent4: if the Protestant does not occur the fact that the run-up and the ladling Tutankhamen occurs is not true. sent5: the fact that the mastership happens but the burying artwork does not occur is not right. sent6: the weightlift does not occur. sent7: the fact that the pupillariness occurs but the altitudinalness does not occur does not hold if the botanicness does not occur. sent8: the phonogramicness occurs if the expedition happens. sent9: the run-up is triggered by that the ladling Tutankhamen happens. sent10: the fact that the shot does not occur is true if that the shot but not the weightlift occurs is not right. sent11: if that the run-up happens hold that not the permutation but the Protestantness happens is incorrect. sent12: that the mumble does not occur is prevented by the non-Protestantness. sent13: the phonogramicness does not occur if the fact that the weightlift does not occur and the ladling Tutankhamen occurs is not right. sent14: if the phonogramicness does not occur the fact that not the wrath but the shooting happens is not right. sent15: if the ladling proteome happens the introspectiveness occurs. sent16: the derangement happens if the fact that not the helpfulness but the calciticness occurs is not right. sent17: that the wrath does not occur and the shot does not occur is not true if the phonogramicness does not occur. sent18: that the mastership occurs is brought about by that the mumble happens. sent19: the expedition happens if the nonreflectiveness happens but the burying artwork does not occur. sent20: the fact that that the mumble happens is true if the fact that the permutation does not occur and the Protestantness happens is incorrect is not false.
void -> assump1: Let's assume that the weightlift does not occur and the ladling Tutankhamen happens.; assump1 -> int1: the ladling Tutankhamen occurs.; int1 & sent9 -> int2: the run-up happens.; int2 & sent11 -> int3: the fact that the permutation does not occur and the Protestant occurs is not correct.; int3 & sent20 -> int4: the mumbling happens.; int4 & sent18 -> int5: the mastership happens.;
the wrath does not occur and the shooting does not occur.
$hypothesis$ = the fact that the wrath does not occur and the shot does not occur is incorrect. ; $context$ = sent1: the fact that the prewarness does not occur and the promotion does not occur is wrong. sent2: if the permutation happens that the shooting occurs and the weightlift does not occur is incorrect. sent3: the fact that the hypoglycemicness happens but the incalculableness does not occur does not hold. sent4: if the Protestant does not occur the fact that the run-up and the ladling Tutankhamen occurs is not true. sent5: the fact that the mastership happens but the burying artwork does not occur is not right. sent6: the weightlift does not occur. sent7: the fact that the pupillariness occurs but the altitudinalness does not occur does not hold if the botanicness does not occur. sent8: the phonogramicness occurs if the expedition happens. sent9: the run-up is triggered by that the ladling Tutankhamen happens. sent10: the fact that the shot does not occur is true if that the shot but not the weightlift occurs is not right. sent11: if that the run-up happens hold that not the permutation but the Protestantness happens is incorrect. sent12: that the mumble does not occur is prevented by the non-Protestantness. sent13: the phonogramicness does not occur if the fact that the weightlift does not occur and the ladling Tutankhamen occurs is not right. sent14: if the phonogramicness does not occur the fact that not the wrath but the shooting happens is not right. sent15: if the ladling proteome happens the introspectiveness occurs. sent16: the derangement happens if the fact that not the helpfulness but the calciticness occurs is not right. sent17: that the wrath does not occur and the shot does not occur is not true if the phonogramicness does not occur. sent18: that the mastership occurs is brought about by that the mumble happens. sent19: the expedition happens if the nonreflectiveness happens but the burying artwork does not occur. sent20: the fact that that the mumble happens is true if the fact that the permutation does not occur and the Protestantness happens is incorrect is not false. ; $proof$ = 
void -> assump1: Let's assume that the weightlift does not occur and the ladling Tutankhamen happens.; assump1 -> int1: the ladling Tutankhamen occurs.; int1 & sent9 -> int2: the run-up happens.; int2 & sent11 -> int3: the fact that the permutation does not occur and the Protestant occurs is not correct.; int3 & sent20 -> int4: the mumbling happens.; int4 & sent18 -> int5: the mastership happens.; __UNKNOWN__