the omen happens.
sent1: if the regular happens then the resetting myeloblast occurs. sent2: if the fact that the ballooning does not occur or the bending occurs or both does not hold the cryonicsness does not occur. sent3: if the cryonicsness does not occur then that both the dictation and the syncategorematicness happens is right. sent4: the omen does not occur if that the omen happens and the regular occurs is not true. sent5: that the frequentness happens is brought about by the sale. sent6: the fact that the dictation does not occur and the resetting myeloblast occurs does not hold if the syncategorematicness occurs. sent7: the handball does not occur if that the sobering does not occur and the cataplasticness does not occur is not correct. sent8: if the ballooning does not occur the syncategorematicness occurs and the cryonicsness occurs. sent9: the regularness happens. sent10: the partner happens. sent11: the resetting myeloblast does not occur if that not the dictation but the resetting myeloblast occurs is false. sent12: the resetting myeloblast does not occur and/or the omen does not occur if the syncategorematicness happens. sent13: the viralness happens. sent14: the troubling trojan occurs if the turnout occurs. sent15: if the handball does not occur the fact that the ballooning does not occur and/or the bend occurs is not right. sent16: if the resetting myeloblast does not occur the fact that the omen and the regular happens is not right.
sent1 & sent9 -> int1: the resetting myeloblast happens.;
the stilling bliss happens.
$hypothesis$ = the omen happens. ; $context$ = sent1: if the regular happens then the resetting myeloblast occurs. sent2: if the fact that the ballooning does not occur or the bending occurs or both does not hold the cryonicsness does not occur. sent3: if the cryonicsness does not occur then that both the dictation and the syncategorematicness happens is right. sent4: the omen does not occur if that the omen happens and the regular occurs is not true. sent5: that the frequentness happens is brought about by the sale. sent6: the fact that the dictation does not occur and the resetting myeloblast occurs does not hold if the syncategorematicness occurs. sent7: the handball does not occur if that the sobering does not occur and the cataplasticness does not occur is not correct. sent8: if the ballooning does not occur the syncategorematicness occurs and the cryonicsness occurs. sent9: the regularness happens. sent10: the partner happens. sent11: the resetting myeloblast does not occur if that not the dictation but the resetting myeloblast occurs is false. sent12: the resetting myeloblast does not occur and/or the omen does not occur if the syncategorematicness happens. sent13: the viralness happens. sent14: the troubling trojan occurs if the turnout occurs. sent15: if the handball does not occur the fact that the ballooning does not occur and/or the bend occurs is not right. sent16: if the resetting myeloblast does not occur the fact that the omen and the regular happens is not right. ; $proof$ = 
sent1 & sent9 -> int1: the resetting myeloblast happens.; __UNKNOWN__