there exists something such that it is not a mustard and it is not conjunctive.
sent1: there exists something such that it bones stuck and it is multilingual. sent2: The dotage walks sideburn. sent3: something does firebomb grotesque and it is a Myriophyllum. sent4: there is something such that it walks dotage and it is not conjunctive. sent5: there exists something such that it is a kind of a mustard and it is not conjunctive. sent6: the sideburn walks dotage. sent7: if the sideburn does walk dotage then it is not conjunctive. sent8: there exists something such that it is not conjunctive.
sent7 & sent6 -> int1: the sideburn is not conjunctive.;
$hypothesis$ = there exists something such that it is not a mustard and it is not conjunctive. ; $context$ = sent1: there exists something such that it bones stuck and it is multilingual. sent2: The dotage walks sideburn. sent3: something does firebomb grotesque and it is a Myriophyllum. sent4: there is something such that it walks dotage and it is not conjunctive. sent5: there exists something such that it is a kind of a mustard and it is not conjunctive. sent6: the sideburn walks dotage. sent7: if the sideburn does walk dotage then it is not conjunctive. sent8: there exists something such that it is not conjunctive. ; $proof$ = 
sent7 & sent6 -> int1: the sideburn is not conjunctive.; __UNKNOWN__