if the consternating disarrayed happens then the skim does not occur.
sent1: the cleanup does not occur if the vocation occurs. sent2: the teasing does not occur if that the teasing and the ascensionalness occurs is not correct. sent3: the stillness happens. sent4: the skim does not occur if the consternating disarrayed occurs and the weatherliness happens. sent5: the weedlessness occurs. sent6: the fact that the billiardsness does not occur is right if the blackmailing occurs. sent7: the BW happens. sent8: the take-up does not occur if both the scrimmage and the docking happens. sent9: that both the pachinko and the allying happens triggers that the fitted does not occur. sent10: the sending panpipe does not occur if the clash occurs. sent11: that the skim happens hold if the consternating disarrayed occurs. sent12: that the consternating disarrayed occurs and the weatherliness occurs prevents that the skimming does not occur. sent13: the weatherliness occurs. sent14: if the contagion happens and the latter occurs the shortness does not occur. sent15: the westerly does not occur. sent16: the fact that the reissuing incorruptness happens is not wrong. sent17: the skim happens. sent18: if the fact that the teasing does not occur is correct the skim and the dyslexicness occurs. sent19: the ball happens. sent20: the scumble occurs and the plantalness occurs. sent21: that if the fact that the consternating disarrayed does not occur and/or the weatherliness does not occur is not right the tactileness does not occur is not false. sent22: the fact that the teasing and the ascensionalness happens does not hold if the downspin does not occur.
void -> assump1: Let's assume that that the consternating disarrayed happens is true.; assump1 & sent13 -> int1: both the consternating disarrayed and the weatherliness occurs.; sent4 & int1 -> int2: the skim does not occur.; [assump1] & int2 -> hypothesis;
the tactileness does not occur.
$hypothesis$ = if the consternating disarrayed happens then the skim does not occur. ; $context$ = sent1: the cleanup does not occur if the vocation occurs. sent2: the teasing does not occur if that the teasing and the ascensionalness occurs is not correct. sent3: the stillness happens. sent4: the skim does not occur if the consternating disarrayed occurs and the weatherliness happens. sent5: the weedlessness occurs. sent6: the fact that the billiardsness does not occur is right if the blackmailing occurs. sent7: the BW happens. sent8: the take-up does not occur if both the scrimmage and the docking happens. sent9: that both the pachinko and the allying happens triggers that the fitted does not occur. sent10: the sending panpipe does not occur if the clash occurs. sent11: that the skim happens hold if the consternating disarrayed occurs. sent12: that the consternating disarrayed occurs and the weatherliness occurs prevents that the skimming does not occur. sent13: the weatherliness occurs. sent14: if the contagion happens and the latter occurs the shortness does not occur. sent15: the westerly does not occur. sent16: the fact that the reissuing incorruptness happens is not wrong. sent17: the skim happens. sent18: if the fact that the teasing does not occur is correct the skim and the dyslexicness occurs. sent19: the ball happens. sent20: the scumble occurs and the plantalness occurs. sent21: that if the fact that the consternating disarrayed does not occur and/or the weatherliness does not occur is not right the tactileness does not occur is not false. sent22: the fact that the teasing and the ascensionalness happens does not hold if the downspin does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the consternating disarrayed happens is true.; assump1 & sent13 -> int1: both the consternating disarrayed and the weatherliness occurs.; sent4 & int1 -> int2: the skim does not occur.; [assump1] & int2 -> hypothesis; __PROVED__