the fact that the devitalization happens and the dehiscing does not occur is not true if the lotto happens.
sent1: the posturalness but not the abortion happens if that the muffing ELF happens is not false. sent2: the avulsion but not the muffing incinerator occurs. sent3: that the dumping does not occur is brought about by that the thenalness happens but the caffeinicness does not occur. sent4: the fact that that the muffing Tulu occurs and the impetiginousness happens is not true is not false. sent5: the syntagmaticness happens. sent6: if the sit-in happens then that the fact that the sounding homeliness and the respite occurs is right is wrong. sent7: the regaling happens. sent8: that the spit does not occur is caused by that both the galling exhibit and the non-beneficentness occurs. sent9: if the devitalization but not the dehiscing happens the lotto occurs. sent10: if both the devitalization and the dehiscing happens the lotto does not occur. sent11: the fact that the devitalization happens and the dehiscing happens does not hold if the lotto occurs. sent12: that the sounding ablaut happens and the orchidectomy occurs is wrong if the fact that the sounding usualness occurs is correct. sent13: if that the honk happens is not incorrect that the humbling but not the heaves occurs is incorrect. sent14: if that the lotto occurs is true the devitalization but not the dehiscing occurs. sent15: the dehiscing does not occur. sent16: the destaining York occurs. sent17: the fact that the devitalization happens and the dehiscing occurs is false. sent18: if the psychogenicness does not occur both the muffing ELF and the lotto occurs.
void -> assump2: Let's assume that the devitalization occurs and the dehiscing does not occur.;
the posturalness happens but the abortion does not occur.
$hypothesis$ = the fact that the devitalization happens and the dehiscing does not occur is not true if the lotto happens. ; $context$ = sent1: the posturalness but not the abortion happens if that the muffing ELF happens is not false. sent2: the avulsion but not the muffing incinerator occurs. sent3: that the dumping does not occur is brought about by that the thenalness happens but the caffeinicness does not occur. sent4: the fact that that the muffing Tulu occurs and the impetiginousness happens is not true is not false. sent5: the syntagmaticness happens. sent6: if the sit-in happens then that the fact that the sounding homeliness and the respite occurs is right is wrong. sent7: the regaling happens. sent8: that the spit does not occur is caused by that both the galling exhibit and the non-beneficentness occurs. sent9: if the devitalization but not the dehiscing happens the lotto occurs. sent10: if both the devitalization and the dehiscing happens the lotto does not occur. sent11: the fact that the devitalization happens and the dehiscing happens does not hold if the lotto occurs. sent12: that the sounding ablaut happens and the orchidectomy occurs is wrong if the fact that the sounding usualness occurs is correct. sent13: if that the honk happens is not incorrect that the humbling but not the heaves occurs is incorrect. sent14: if that the lotto occurs is true the devitalization but not the dehiscing occurs. sent15: the dehiscing does not occur. sent16: the destaining York occurs. sent17: the fact that the devitalization happens and the dehiscing occurs is false. sent18: if the psychogenicness does not occur both the muffing ELF and the lotto occurs. ; $proof$ = 
void -> assump2: Let's assume that the devitalization occurs and the dehiscing does not occur.; __UNKNOWN__