the foreshowing disposal does not occur.
sent1: if the mortification does not occur and the match-up does not occur then the foreshowing disposal does not occur. sent2: if the fact that both the non-unprintableness and the non-geothermalness happens is not correct then the geothermalness happens. sent3: the fact that the Senecanness happens and the diapedesis occurs is not right. sent4: if that the diapedesis but not the mortification happens is false then the mortification occurs. sent5: if that the Senecanness occurs and the diapedesis happens is incorrect the Senecanness does not occur. sent6: the mortification does not occur and the match-up does not occur if the habanera occurs. sent7: if the fact that the catatonicness does not occur is not false the fact that that the non-unprintableness and the non-geothermalness happens is correct is not correct. sent8: the habanera happens if the digestive happens. sent9: if the foreshowing endoscope happens and the confrontation does not occur the Senecanness occurs. sent10: if the geothermalness happens the fact that the diapedesis happens and the mortification does not occur does not hold. sent11: if the fact that the foreshowing endoscope but not the confrontation happens is wrong the digestive occurs. sent12: the fact that the habanera does not occur is not false if the fact that the habanera happens but the match-up does not occur is wrong. sent13: the hypothecating maker does not occur but the intolerantness occurs if the affixalness does not occur. sent14: the winkling but not the catatonicness occurs if the hypothecating maker does not occur.
void -> assump1: Let's assume that the foreshowing endoscope happens but the confrontation does not occur.; sent9 & assump1 -> int1: the Senecanness occurs.; sent5 & sent3 -> int2: the Senecanness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the foreshowing endoscope occurs and the confrontation does not occur does not hold.; int4 & sent11 -> int5: the digestive happens.; int5 & sent8 -> int6: the habanera occurs.; int6 & sent6 -> int7: the mortification does not occur and the match-up does not occur.; int7 & sent1 -> hypothesis;
the foreshowing disposal happens.
$hypothesis$ = the foreshowing disposal does not occur. ; $context$ = sent1: if the mortification does not occur and the match-up does not occur then the foreshowing disposal does not occur. sent2: if the fact that both the non-unprintableness and the non-geothermalness happens is not correct then the geothermalness happens. sent3: the fact that the Senecanness happens and the diapedesis occurs is not right. sent4: if that the diapedesis but not the mortification happens is false then the mortification occurs. sent5: if that the Senecanness occurs and the diapedesis happens is incorrect the Senecanness does not occur. sent6: the mortification does not occur and the match-up does not occur if the habanera occurs. sent7: if the fact that the catatonicness does not occur is not false the fact that that the non-unprintableness and the non-geothermalness happens is correct is not correct. sent8: the habanera happens if the digestive happens. sent9: if the foreshowing endoscope happens and the confrontation does not occur the Senecanness occurs. sent10: if the geothermalness happens the fact that the diapedesis happens and the mortification does not occur does not hold. sent11: if the fact that the foreshowing endoscope but not the confrontation happens is wrong the digestive occurs. sent12: the fact that the habanera does not occur is not false if the fact that the habanera happens but the match-up does not occur is wrong. sent13: the hypothecating maker does not occur but the intolerantness occurs if the affixalness does not occur. sent14: the winkling but not the catatonicness occurs if the hypothecating maker does not occur. ; $proof$ = 
void -> assump1: Let's assume that the foreshowing endoscope happens but the confrontation does not occur.; sent9 & assump1 -> int1: the Senecanness occurs.; sent5 & sent3 -> int2: the Senecanness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the foreshowing endoscope occurs and the confrontation does not occur does not hold.; int4 & sent11 -> int5: the digestive happens.; int5 & sent8 -> int6: the habanera occurs.; int6 & sent6 -> int7: the mortification does not occur and the match-up does not occur.; int7 & sent1 -> hypothesis; __PROVED__