something is a Wylie and rafters settlement.
sent1: there is something such that it effuses. sent2: the iceman is a kind of a homeroom that is a kind of a gall. sent3: there is something such that it is a A-list. sent4: if there exists something such that it clogs and/or it does pitch haystack that the Tajik does powwow nectar hold. sent5: the armchair is a Wylie. sent6: there exists something such that the fact that it is an acoustics is not incorrect. sent7: there are non-Zoroastrian things. sent8: the floodgate is a limbus and it follows. sent9: the nectar rafters settlement if something is a kind of a Elymus and/or it does powwow nectar. sent10: the Celt does pot if there is something such that it is a school. sent11: the nectar does crossbreed. sent12: if there exists something such that it does not refresh then the longbow is a Elymus. sent13: something is a Elymus or it powwows nectar or both. sent14: if there exists something such that that it is not a kind of a Wylie is right then the nectar powwows bulk. sent15: if there is something such that it is not a hostage the nectar is a Wylie. sent16: there exists something such that it is an amino that is a Xenophon. sent17: that the nectar is not fluvial is wrong. sent18: something is a statics or is a alkyl or both. sent19: there exists something such that it is not an uplifted. sent20: there is something such that it powwows bulk. sent21: something is a homeroom and it is forehanded. sent22: something is acroscopic or it is fluvial or both. sent23: if there is something such that it is not a Elymus the sweater is a stonecutter.
sent13 & sent9 -> int1: the fact that the nectar does not rafter settlement is false.;
$hypothesis$ = something is a Wylie and rafters settlement. ; $context$ = sent1: there is something such that it effuses. sent2: the iceman is a kind of a homeroom that is a kind of a gall. sent3: there is something such that it is a A-list. sent4: if there exists something such that it clogs and/or it does pitch haystack that the Tajik does powwow nectar hold. sent5: the armchair is a Wylie. sent6: there exists something such that the fact that it is an acoustics is not incorrect. sent7: there are non-Zoroastrian things. sent8: the floodgate is a limbus and it follows. sent9: the nectar rafters settlement if something is a kind of a Elymus and/or it does powwow nectar. sent10: the Celt does pot if there is something such that it is a school. sent11: the nectar does crossbreed. sent12: if there exists something such that it does not refresh then the longbow is a Elymus. sent13: something is a Elymus or it powwows nectar or both. sent14: if there exists something such that that it is not a kind of a Wylie is right then the nectar powwows bulk. sent15: if there is something such that it is not a hostage the nectar is a Wylie. sent16: there exists something such that it is an amino that is a Xenophon. sent17: that the nectar is not fluvial is wrong. sent18: something is a statics or is a alkyl or both. sent19: there exists something such that it is not an uplifted. sent20: there is something such that it powwows bulk. sent21: something is a homeroom and it is forehanded. sent22: something is acroscopic or it is fluvial or both. sent23: if there is something such that it is not a Elymus the sweater is a stonecutter. ; $proof$ = 
sent13 & sent9 -> int1: the fact that the nectar does not rafter settlement is false.; __UNKNOWN__