the football does not occur and the consumptiveness happens.
sent1: if the stinting occurs and the eviscerating occurs then the lunge does not occur. sent2: the diabaticness occurs if that the copying lymphocyte does not occur and the canineness does not occur is false. sent3: that that the non-canineness and the dominating plimsoll occurs is not right is not wrong if the refresher happens. sent4: the eviscerating does not occur if that the stinting happens and the dominating twirler happens is not true. sent5: the voice is prevented by that the dominating coprolite does not occur and the biblioticness does not occur. sent6: that the voltaicness does not occur and the dominating clergy does not occur prevents that the secularness happens. sent7: the stint occurs. sent8: if the copying lymphocyte happens the fact that not the football but the consumptive happens does not hold. sent9: the canineness does not occur. sent10: the fact that that both the stint and the dominating twirler happens is not wrong is wrong if the homeopathy does not occur. sent11: the consumptive occurs if the dominating plimsoll happens. sent12: the nonassociativeness does not occur. sent13: that the homeopathy does not occur is not wrong if the fact that the revolution does not occur and/or the dominating ethylene occurs is incorrect. sent14: the divestiture does not occur. sent15: that the copying bushtit happens brings about the dominating millboard. sent16: the dominating plimsoll occurs. sent17: that the football happens is prevented by that the copying lymphocyte does not occur and the canine does not occur. sent18: that the copying barrow does not occur is not incorrect if the thunderhead does not occur and the glamorizing packed does not occur. sent19: if the lunge does not occur then the refresher does not occur and the dominating plimsoll does not occur.
sent11 & sent16 -> int1: the fact that the consumptiveness happens is not false.;
the fact that the fact that the football does not occur and the consumptive occurs is not correct hold.
$hypothesis$ = the football does not occur and the consumptiveness happens. ; $context$ = sent1: if the stinting occurs and the eviscerating occurs then the lunge does not occur. sent2: the diabaticness occurs if that the copying lymphocyte does not occur and the canineness does not occur is false. sent3: that that the non-canineness and the dominating plimsoll occurs is not right is not wrong if the refresher happens. sent4: the eviscerating does not occur if that the stinting happens and the dominating twirler happens is not true. sent5: the voice is prevented by that the dominating coprolite does not occur and the biblioticness does not occur. sent6: that the voltaicness does not occur and the dominating clergy does not occur prevents that the secularness happens. sent7: the stint occurs. sent8: if the copying lymphocyte happens the fact that not the football but the consumptive happens does not hold. sent9: the canineness does not occur. sent10: the fact that that both the stint and the dominating twirler happens is not wrong is wrong if the homeopathy does not occur. sent11: the consumptive occurs if the dominating plimsoll happens. sent12: the nonassociativeness does not occur. sent13: that the homeopathy does not occur is not wrong if the fact that the revolution does not occur and/or the dominating ethylene occurs is incorrect. sent14: the divestiture does not occur. sent15: that the copying bushtit happens brings about the dominating millboard. sent16: the dominating plimsoll occurs. sent17: that the football happens is prevented by that the copying lymphocyte does not occur and the canine does not occur. sent18: that the copying barrow does not occur is not incorrect if the thunderhead does not occur and the glamorizing packed does not occur. sent19: if the lunge does not occur then the refresher does not occur and the dominating plimsoll does not occur. ; $proof$ = 
sent11 & sent16 -> int1: the fact that the consumptiveness happens is not false.; __UNKNOWN__