the over-the-counterness occurs.
sent1: the howling occurs if the gust does not occur but the encapsulating bloodstone occurs. sent2: the destining but not the hydroelectricity happens if the updating Kirchner occurs. sent3: the investigation occurs. sent4: if the updating crudeness does not occur the fact that the keystroke does not occur but the stored-programness happens is wrong. sent5: the confederation occurs. sent6: the unexcitableness occurs. sent7: that both the updating Kirchner and the twilling corbelled occurs is brought about by that the stored-programness does not occur. sent8: if the howling occurs then the over-the-counterness happens. sent9: that the appeasement does not occur hold. sent10: if the morbilliformness does not occur the confederation does not occur. sent11: the stored-programness does not occur if the fact that not the keystroke but the stored-programness happens does not hold. sent12: the over-the-counterness does not occur if the encapsulating bloodstone but not the shattering happens. sent13: the oxygenating Tiarella occurs. sent14: that the updating crudeness does not occur is triggered by that the fattiness does not occur. sent15: that the hydroelectricity does not occur leads to that not the morbilliformness but the glottalness happens. sent16: both the encapsulating bloodstone and the shattering happens. sent17: the shattering happens. sent18: the howling and the gust occurs if the confederation does not occur. sent19: the fattiness does not occur if that that the fattiness and the betteringness occurs is not true is not incorrect.
sent16 -> int1: that the encapsulating bloodstone occurs is true.;
the over-the-counterness does not occur.
$hypothesis$ = the over-the-counterness occurs. ; $context$ = sent1: the howling occurs if the gust does not occur but the encapsulating bloodstone occurs. sent2: the destining but not the hydroelectricity happens if the updating Kirchner occurs. sent3: the investigation occurs. sent4: if the updating crudeness does not occur the fact that the keystroke does not occur but the stored-programness happens is wrong. sent5: the confederation occurs. sent6: the unexcitableness occurs. sent7: that both the updating Kirchner and the twilling corbelled occurs is brought about by that the stored-programness does not occur. sent8: if the howling occurs then the over-the-counterness happens. sent9: that the appeasement does not occur hold. sent10: if the morbilliformness does not occur the confederation does not occur. sent11: the stored-programness does not occur if the fact that not the keystroke but the stored-programness happens does not hold. sent12: the over-the-counterness does not occur if the encapsulating bloodstone but not the shattering happens. sent13: the oxygenating Tiarella occurs. sent14: that the updating crudeness does not occur is triggered by that the fattiness does not occur. sent15: that the hydroelectricity does not occur leads to that not the morbilliformness but the glottalness happens. sent16: both the encapsulating bloodstone and the shattering happens. sent17: the shattering happens. sent18: the howling and the gust occurs if the confederation does not occur. sent19: the fattiness does not occur if that that the fattiness and the betteringness occurs is not true is not incorrect. ; $proof$ = 
sent16 -> int1: that the encapsulating bloodstone occurs is true.; __UNKNOWN__