the chaff is not unworldly.
sent1: the safranine does not jack Mytilus. sent2: something jacks Mytilus and is not a ESM. sent3: The Mytilus does not jack safranine. sent4: the safranine is not a ESM. sent5: something jacks seismology and jacks handicap. sent6: there is something such that it does not jack Mytilus. sent7: there exists something such that it is not a ESM. sent8: if there is something such that it does not jack Mytilus and it is not unworldly the chaff is not a ESM. sent9: something is not a IOL and it is not a partitive. sent10: the fact that the chaff is not a Frisbee is not false. sent11: the safranine does not rerun chlorofluorocarbon. sent12: the chaff is not awake and it is not a ESM. sent13: something is a ESM if that it does not jack seismology and it does not jack handicap does not hold. sent14: something does not jack Mytilus and is a ESM. sent15: if the safranine is both unworldly and a ESM then the path is not a ESM. sent16: if the safranine does not crochet then that the chaff does not jack seismology and it does not jack handicap is incorrect. sent17: there is something such that it is a kind of worldly thing that does not jack Mytilus. sent18: if something jacks Mytilus then it is unworldly.
sent1 & sent4 -> int1: the safranine does not jack Mytilus and it is not a ESM.; int1 -> int2: there exists something such that it does not jack Mytilus and it is not a ESM.;
the chaff is unworldly.
sent18 -> int3: the chaff is not worldly if it jacks Mytilus.; sent13 -> int4: if the fact that the chaff does not jack seismology and does not jack handicap does not hold it is a ESM.;
$hypothesis$ = the chaff is not unworldly. ; $context$ = sent1: the safranine does not jack Mytilus. sent2: something jacks Mytilus and is not a ESM. sent3: The Mytilus does not jack safranine. sent4: the safranine is not a ESM. sent5: something jacks seismology and jacks handicap. sent6: there is something such that it does not jack Mytilus. sent7: there exists something such that it is not a ESM. sent8: if there is something such that it does not jack Mytilus and it is not unworldly the chaff is not a ESM. sent9: something is not a IOL and it is not a partitive. sent10: the fact that the chaff is not a Frisbee is not false. sent11: the safranine does not rerun chlorofluorocarbon. sent12: the chaff is not awake and it is not a ESM. sent13: something is a ESM if that it does not jack seismology and it does not jack handicap does not hold. sent14: something does not jack Mytilus and is a ESM. sent15: if the safranine is both unworldly and a ESM then the path is not a ESM. sent16: if the safranine does not crochet then that the chaff does not jack seismology and it does not jack handicap is incorrect. sent17: there is something such that it is a kind of worldly thing that does not jack Mytilus. sent18: if something jacks Mytilus then it is unworldly. ; $proof$ = 
sent1 & sent4 -> int1: the safranine does not jack Mytilus and it is not a ESM.; int1 -> int2: there exists something such that it does not jack Mytilus and it is not a ESM.; __UNKNOWN__