the sterilizing belly does not occur.
sent1: the drudgery occurs and the decoying stammerer occurs. sent2: the belting and the foaling Rocroi happens. sent3: if the fact that the diluting does not occur hold then that the valediction occurs and the foaling sallow occurs does not hold. sent4: the foaling demister and the brewing happens. sent5: if the Donneanness does not occur the fact that the sterilizing belly does not occur and the sterilizing Dictaphone does not occur is not right. sent6: the unpresidentialness occurs. sent7: that the sterilizing belly does not occur is brought about by that both the sterilizing Dictaphone and the foaling sallow happens. sent8: the decoying phalsa does not occur. sent9: the deference happens. sent10: the valediction and the foaling sallow occurs. sent11: that the sterilizing Dictaphone does not occur is incorrect if the Donneanness happens. sent12: the valediction occurs.
sent10 -> int1: the foaling sallow occurs.;
that the sterilizing belly occurs is true.
$hypothesis$ = the sterilizing belly does not occur. ; $context$ = sent1: the drudgery occurs and the decoying stammerer occurs. sent2: the belting and the foaling Rocroi happens. sent3: if the fact that the diluting does not occur hold then that the valediction occurs and the foaling sallow occurs does not hold. sent4: the foaling demister and the brewing happens. sent5: if the Donneanness does not occur the fact that the sterilizing belly does not occur and the sterilizing Dictaphone does not occur is not right. sent6: the unpresidentialness occurs. sent7: that the sterilizing belly does not occur is brought about by that both the sterilizing Dictaphone and the foaling sallow happens. sent8: the decoying phalsa does not occur. sent9: the deference happens. sent10: the valediction and the foaling sallow occurs. sent11: that the sterilizing Dictaphone does not occur is incorrect if the Donneanness happens. sent12: the valediction occurs. ; $proof$ = 
sent10 -> int1: the foaling sallow occurs.; __UNKNOWN__