the typology happens if the improvement happens.
sent1: if the pushup happens then the hyperemicness happens. sent2: the aurifying drape occurs. sent3: the liquefying phycology happens. sent4: the young occurs. sent5: the nonreflectiveness occurs. sent6: the nonsyllabicness occurs. sent7: the Handelianness happens. sent8: the fact that the Koreanness occurs is not false if the improvement happens. sent9: if the express happens the dew occurs. sent10: the aurifying Korbut occurs if the blackout occurs. sent11: the fact that the planarness happens is correct. sent12: the backing happens if the counterdemonstration occurs. sent13: the aurifying weekender happens. sent14: that the indiscreetness occurs leads to that the ravening mutism happens. sent15: the ravening antivenin occurs if the indiscreetness occurs. sent16: if the axiomaticness happens then the decimation happens. sent17: the menstrualness happens. sent18: if the slurping occurs then the fiduciariness happens.
void -> assump1: Let's assume that the improvement occurs.; sent8 & assump1 -> int1: the Koreanness occurs.;
$hypothesis$ = the typology happens if the improvement happens. ; $context$ = sent1: if the pushup happens then the hyperemicness happens. sent2: the aurifying drape occurs. sent3: the liquefying phycology happens. sent4: the young occurs. sent5: the nonreflectiveness occurs. sent6: the nonsyllabicness occurs. sent7: the Handelianness happens. sent8: the fact that the Koreanness occurs is not false if the improvement happens. sent9: if the express happens the dew occurs. sent10: the aurifying Korbut occurs if the blackout occurs. sent11: the fact that the planarness happens is correct. sent12: the backing happens if the counterdemonstration occurs. sent13: the aurifying weekender happens. sent14: that the indiscreetness occurs leads to that the ravening mutism happens. sent15: the ravening antivenin occurs if the indiscreetness occurs. sent16: if the axiomaticness happens then the decimation happens. sent17: the menstrualness happens. sent18: if the slurping occurs then the fiduciariness happens. ; $proof$ = 
void -> assump1: Let's assume that the improvement occurs.; sent8 & assump1 -> int1: the Koreanness occurs.; __UNKNOWN__