the beebalm is not buteonine.
sent1: everything is not non-sweet but non-substantive. sent2: there is something such that it is a buteonine. sent3: if there exists something such that that it is lexical thing that is a peer is wrong the beebalm is not a buteonine. sent4: that something is a coffeeberry and a oilstone is wrong if it is not a cowtown. sent5: if something is lexical but it is not a peer it is not a cowtown. sent6: that the fact that the gleaner is a buteonine and it upgrades snowcap is true is not true. sent7: something is dental. sent8: the Kickapoo is not a kind of a loom. sent9: something is a cowtown if it is not a kind of a Janissary. sent10: something is both lexical and a peer. sent11: if the gleaner does not upgrade reenactor then it is lexical. sent12: everything is both acceptable and non-liliaceous. sent13: that the snuffle is not a buteonine is true. sent14: everything is oncological and it is not a Janissary. sent15: that the beebalm is not a kind of a buteonine but it peers is wrong. sent16: if the snuffle is not coccal the gleaner is a trail and it is lexical. sent17: everything is oncological. sent18: the beebalm is not a buteonine if something does not peer.
sent14 -> int1: the THING-A is oncological but it is not a Janissary.; int1 -> int2: the THING-A is not a Janissary.; int2 -> int3: the fact that everything is not a Janissary hold.; int3 -> int4: the snuffle is not a kind of a Janissary.; sent9 -> int5: the snuffle is a cowtown if it is not a Janissary.; int4 & int5 -> int6: the snuffle is a cowtown.; int6 -> int7: something is a cowtown.;
the fact that the gleaner is a kind of a coffeeberry and it is a oilstone is incorrect.
sent4 -> int8: the fact that the gleaner is a kind of a coffeeberry and it is a oilstone does not hold if the fact that it is not a cowtown is true.; sent5 -> int9: the gleaner is not a cowtown if it is lexical and it is not a peer.; sent15 -> int10: there exists something such that the fact that it is not buteonine and does peer does not hold.;
$hypothesis$ = the beebalm is not buteonine. ; $context$ = sent1: everything is not non-sweet but non-substantive. sent2: there is something such that it is a buteonine. sent3: if there exists something such that that it is lexical thing that is a peer is wrong the beebalm is not a buteonine. sent4: that something is a coffeeberry and a oilstone is wrong if it is not a cowtown. sent5: if something is lexical but it is not a peer it is not a cowtown. sent6: that the fact that the gleaner is a buteonine and it upgrades snowcap is true is not true. sent7: something is dental. sent8: the Kickapoo is not a kind of a loom. sent9: something is a cowtown if it is not a kind of a Janissary. sent10: something is both lexical and a peer. sent11: if the gleaner does not upgrade reenactor then it is lexical. sent12: everything is both acceptable and non-liliaceous. sent13: that the snuffle is not a buteonine is true. sent14: everything is oncological and it is not a Janissary. sent15: that the beebalm is not a kind of a buteonine but it peers is wrong. sent16: if the snuffle is not coccal the gleaner is a trail and it is lexical. sent17: everything is oncological. sent18: the beebalm is not a buteonine if something does not peer. ; $proof$ = 
sent14 -> int1: the THING-A is oncological but it is not a Janissary.; int1 -> int2: the THING-A is not a Janissary.; int2 -> int3: the fact that everything is not a Janissary hold.; int3 -> int4: the snuffle is not a kind of a Janissary.; sent9 -> int5: the snuffle is a cowtown if it is not a Janissary.; int4 & int5 -> int6: the snuffle is a cowtown.; int6 -> int7: something is a cowtown.; __UNKNOWN__