the postmenopausalness does not occur if the fact that the CABG occurs and the fohn does not occur does not hold.
sent1: the endometrialness occurs. sent2: that the atmosphere occurs yields the non-postmenopausalness. sent3: that the CABG happens hold if both the adjoining 4WD and the atmosphere happens. sent4: the atmosphere does not occur. sent5: if the endometrialness occurs then the fact that the fohn does not occur hold. sent6: if that the fact that the adjoining 4WD happens but the atmosphere does not occur does not hold hold the postmenopausalness occurs. sent7: the postmenopausalness does not occur if that the adjoining 4WD but not the atmosphere happens is wrong. sent8: the fact that the postmenopausalness happens if the fact that the CABG happens but the fohn does not occur is not correct hold. sent9: the postmenopausalness occurs.
void -> assump2: Let's assume that the adjoining 4WD but not the atmosphere occurs.; sent5 & sent1 -> int1: the fohn does not occur.;
$hypothesis$ = the postmenopausalness does not occur if the fact that the CABG occurs and the fohn does not occur does not hold. ; $context$ = sent1: the endometrialness occurs. sent2: that the atmosphere occurs yields the non-postmenopausalness. sent3: that the CABG happens hold if both the adjoining 4WD and the atmosphere happens. sent4: the atmosphere does not occur. sent5: if the endometrialness occurs then the fact that the fohn does not occur hold. sent6: if that the fact that the adjoining 4WD happens but the atmosphere does not occur does not hold hold the postmenopausalness occurs. sent7: the postmenopausalness does not occur if that the adjoining 4WD but not the atmosphere happens is wrong. sent8: the fact that the postmenopausalness happens if the fact that the CABG happens but the fohn does not occur is not correct hold. sent9: the postmenopausalness occurs. ; $proof$ = 
void -> assump2: Let's assume that the adjoining 4WD but not the atmosphere occurs.; sent5 & sent1 -> int1: the fohn does not occur.; __UNKNOWN__