the zodiacalness does not occur.
sent1: the immodestness does not occur. sent2: that the defraying canal does not occur hold if the fact that the symbolization occurs and the carpentry occurs is wrong. sent3: if the defraying canal does not occur the check-in does not occur and the immodestness does not occur. sent4: the zodiacalness happens if both the non-asterismalness and the fatigues occurs. sent5: the fatigues happens. sent6: the rummy does not occur and the inconsolableness does not occur if the latheriness does not occur. sent7: if the zodiacalness happens then the fact that the asterismalness does not occur and the check-in does not occur is false. sent8: the devaluing does not occur and the stapedectomy happens if the revealing travel does not occur. sent9: the havoc but not the glorification happens if the fatigues does not occur. sent10: if the devaluing does not occur then the oppression does not occur. sent11: the fact that the Oldness does not occur is not false. sent12: if the oppression does not occur then that both the symbolization and the carpentry occurs is not right. sent13: the fact that the carpentry happens is not incorrect. sent14: the revealing travel does not occur if the rummy does not occur and the inconsolableness does not occur. sent15: the latheriness does not occur if the Oldness does not occur and the clocking stringer does not occur. sent16: the zodiacalness happens and the immodestness happens if the defraying canal does not occur. sent17: that the check-in and the asterismalness happens prevents the zodiacalness. sent18: if the fatigues occurs then the asterismalness happens.
sent18 & sent5 -> int1: the asterismalness happens.;
the havoc but not the glorification happens.
$hypothesis$ = the zodiacalness does not occur. ; $context$ = sent1: the immodestness does not occur. sent2: that the defraying canal does not occur hold if the fact that the symbolization occurs and the carpentry occurs is wrong. sent3: if the defraying canal does not occur the check-in does not occur and the immodestness does not occur. sent4: the zodiacalness happens if both the non-asterismalness and the fatigues occurs. sent5: the fatigues happens. sent6: the rummy does not occur and the inconsolableness does not occur if the latheriness does not occur. sent7: if the zodiacalness happens then the fact that the asterismalness does not occur and the check-in does not occur is false. sent8: the devaluing does not occur and the stapedectomy happens if the revealing travel does not occur. sent9: the havoc but not the glorification happens if the fatigues does not occur. sent10: if the devaluing does not occur then the oppression does not occur. sent11: the fact that the Oldness does not occur is not false. sent12: if the oppression does not occur then that both the symbolization and the carpentry occurs is not right. sent13: the fact that the carpentry happens is not incorrect. sent14: the revealing travel does not occur if the rummy does not occur and the inconsolableness does not occur. sent15: the latheriness does not occur if the Oldness does not occur and the clocking stringer does not occur. sent16: the zodiacalness happens and the immodestness happens if the defraying canal does not occur. sent17: that the check-in and the asterismalness happens prevents the zodiacalness. sent18: if the fatigues occurs then the asterismalness happens. ; $proof$ = 
sent18 & sent5 -> int1: the asterismalness happens.; __UNKNOWN__