the schist heels frontier.
sent1: if there is something such that it does not heel plunk then the schist borders Aalst. sent2: if the stunner does heel IAEA then that the neutrino is a kind of a ready is not false. sent3: if the neutrino is a ready the schist is ready. sent4: if something is not a kind of a Yale the Catawba heels frontier. sent5: something heels plunk. sent6: if something is not a ready it does heel plunk and is a lifeblood. sent7: the anil does heel Carlyle. sent8: that the fact that the schist heels frontier but it does not border Aalst is not correct if the schist does heel plunk is right. sent9: the schist does heel plunk. sent10: the anil is not a kind of a cease. sent11: there is something such that it does not heel plunk.
sent11 & sent1 -> int1: that the schist does not border Aalst is false.;
the schist does not heel frontier.
sent6 -> int2: if the schist is not a ready then it does heel plunk and it is a lifeblood.; sent10 & sent7 -> int3: the anil is not a cease and does heel Carlyle.; int3 -> int4: there exists something such that it is not a cease and it does heel Carlyle.;
$hypothesis$ = the schist heels frontier. ; $context$ = sent1: if there is something such that it does not heel plunk then the schist borders Aalst. sent2: if the stunner does heel IAEA then that the neutrino is a kind of a ready is not false. sent3: if the neutrino is a ready the schist is ready. sent4: if something is not a kind of a Yale the Catawba heels frontier. sent5: something heels plunk. sent6: if something is not a ready it does heel plunk and is a lifeblood. sent7: the anil does heel Carlyle. sent8: that the fact that the schist heels frontier but it does not border Aalst is not correct if the schist does heel plunk is right. sent9: the schist does heel plunk. sent10: the anil is not a kind of a cease. sent11: there is something such that it does not heel plunk. ; $proof$ = 
sent11 & sent1 -> int1: that the schist does not border Aalst is false.; __UNKNOWN__