that the grip is a Schizachyrium and a bid does not hold.
sent1: if something is not middle-class and not unshockable then it is not garlicky. sent2: if something is a Cestidae then it is a Schizachyrium. sent3: if there exists something such that it is a Cestidae the Phallus is not middle-class and it is not unshockable. sent4: the ampicillin is a kind of a cyclopropane. sent5: if there is something such that it is a cyclopropane then the seltzer either does not snuffle lotus or is not non-garlicky or both. sent6: the grip is a Cestidae if it is unshockable. sent7: something that is a Aalst or tools sleep or both is not a kind of a cyclopropane. sent8: the seltzer is a kind of a Aalst if that the basketeer is garlicky and/or it does not snuffle lotus is not true. sent9: the grip is a bid if the Phallus is middle-class. sent10: if the fact that the basketeer is not middle-class and it does not tool sleep is not correct then the Phallus is middle-class. sent11: that the Phallus tools sleep and it snuffles lotus is incorrect if there is something such that it is not unshockable. sent12: if the hedger is a Aalst the fact that the basketeer is a kind of non-middle-class thing that does not tool sleep is not right. sent13: the fact that that the grip is a kind of a Schizachyrium that is a bid does not hold is true if something is not a cyclopropane. sent14: there is something such that it is a kind of a Cestidae. sent15: if the Phallus is not garlicky then the fact that the basketeer is garlicky and/or does not snuffle lotus is not true.
sent14 & sent3 -> int1: the Phallus is not middle-class and is not unshockable.; sent1 -> int2: if the Phallus is non-middle-class and it is not unshockable that it is not garlicky is right.; int1 & int2 -> int3: the Phallus is not garlicky.; int3 & sent15 -> int4: that the basketeer is garlicky and/or it does not snuffle lotus is not correct.; int4 & sent8 -> int5: the seltzer is a Aalst.; int5 -> int6: the seltzer is a kind of a Aalst or does tool sleep or both.; sent7 -> int7: if the seltzer is a Aalst and/or it tools sleep then it is not a cyclopropane.; int6 & int7 -> int8: the seltzer is not a cyclopropane.; int8 -> int9: there is something such that it is not a cyclopropane.; int9 & sent13 -> hypothesis;
the grip is a Schizachyrium and a bid.
sent2 -> int10: if the grip is a Cestidae then it is a Schizachyrium.; sent4 -> int11: there is something such that that it is a cyclopropane is right.; int11 & sent5 -> int12: either the seltzer does not snuffle lotus or it is garlicky or both.; int12 -> int13: there is something such that it either does not snuffle lotus or is not non-garlicky or both.;
$hypothesis$ = that the grip is a Schizachyrium and a bid does not hold. ; $context$ = sent1: if something is not middle-class and not unshockable then it is not garlicky. sent2: if something is a Cestidae then it is a Schizachyrium. sent3: if there exists something such that it is a Cestidae the Phallus is not middle-class and it is not unshockable. sent4: the ampicillin is a kind of a cyclopropane. sent5: if there is something such that it is a cyclopropane then the seltzer either does not snuffle lotus or is not non-garlicky or both. sent6: the grip is a Cestidae if it is unshockable. sent7: something that is a Aalst or tools sleep or both is not a kind of a cyclopropane. sent8: the seltzer is a kind of a Aalst if that the basketeer is garlicky and/or it does not snuffle lotus is not true. sent9: the grip is a bid if the Phallus is middle-class. sent10: if the fact that the basketeer is not middle-class and it does not tool sleep is not correct then the Phallus is middle-class. sent11: that the Phallus tools sleep and it snuffles lotus is incorrect if there is something such that it is not unshockable. sent12: if the hedger is a Aalst the fact that the basketeer is a kind of non-middle-class thing that does not tool sleep is not right. sent13: the fact that that the grip is a kind of a Schizachyrium that is a bid does not hold is true if something is not a cyclopropane. sent14: there is something such that it is a kind of a Cestidae. sent15: if the Phallus is not garlicky then the fact that the basketeer is garlicky and/or does not snuffle lotus is not true. ; $proof$ = 
sent14 & sent3 -> int1: the Phallus is not middle-class and is not unshockable.; sent1 -> int2: if the Phallus is non-middle-class and it is not unshockable that it is not garlicky is right.; int1 & int2 -> int3: the Phallus is not garlicky.; int3 & sent15 -> int4: that the basketeer is garlicky and/or it does not snuffle lotus is not correct.; int4 & sent8 -> int5: the seltzer is a Aalst.; int5 -> int6: the seltzer is a kind of a Aalst or does tool sleep or both.; sent7 -> int7: if the seltzer is a Aalst and/or it tools sleep then it is not a cyclopropane.; int6 & int7 -> int8: the seltzer is not a cyclopropane.; int8 -> int9: there is something such that it is not a cyclopropane.; int9 & sent13 -> hypothesis; __PROVED__