if the scalding Steinman happens then the sugariness occurs.
sent1: if the resentfulness does not occur then both the zygoticness and the dressage occurs. sent2: the scalding why occurs if the fact that the attending but not the scalding why happens is not correct. sent3: either that the destining quarantine does not occur or the attending or both is triggered by that the scalding why does not occur. sent4: the destining quarantine does not occur and/or the attending does not occur if the scalding why does not occur. sent5: that the resentfulness occurs and the scalding Steinman occurs results in that the scalding why does not occur. sent6: the sugariness happens if the destining quarantine does not occur and/or the attending does not occur.
the dressage happens.
$hypothesis$ = if the scalding Steinman happens then the sugariness occurs. ; $context$ = sent1: if the resentfulness does not occur then both the zygoticness and the dressage occurs. sent2: the scalding why occurs if the fact that the attending but not the scalding why happens is not correct. sent3: either that the destining quarantine does not occur or the attending or both is triggered by that the scalding why does not occur. sent4: the destining quarantine does not occur and/or the attending does not occur if the scalding why does not occur. sent5: that the resentfulness occurs and the scalding Steinman occurs results in that the scalding why does not occur. sent6: the sugariness happens if the destining quarantine does not occur and/or the attending does not occur. ; $proof$ = 
__UNKNOWN__