that there is something such that if that it is a lionet hold it does not impinge go-kart is wrong.
sent1: the lever is not a lionet if it blacklists slumgullion. sent2: there exists something such that if it is prognathous it is not a kind of a semen. sent3: there is something such that if it is a lionet then it impinges go-kart. sent4: there is something such that if it is a transudate it is not a sigh. sent5: there is something such that if it does kibitz the fact that it is not a pan is not wrong. sent6: if the fact that the Colbert does blacklist squiggle hold it is not a clomipramine. sent7: the lever does not stave squash if it impinges go-kart. sent8: the fact that the shelf is not a lionet hold if it is deflationary. sent9: if that the ogive is enforceable is not incorrect then it is not a kind of a pipal. sent10: if the pollack does impinge interrelation it is not a kind of a lionet. sent11: if the lever is a kind of an employee it is not a lionet. sent12: the lever does not impinge left-hander if it is a camper. sent13: the lever does not stave brill if it does impinge go-kart. sent14: there is something such that if it is postglacial then it is not a anticholinesterase. sent15: if the lever is a lionet then it does not impinge go-kart. sent16: there exists something such that if it does truss then it is not a pachysandra. sent17: the lever is not a lionet if it is eradicable. sent18: the GHB is not unmodifiable if that it impinges one-billionth is right. sent19: if something is enthusiastic it is not a duration. sent20: the lever impinges go-kart if it is a kind of a lionet.
sent15 -> hypothesis;
there is something such that if it is enthusiastic it is not a duration.
sent19 -> int1: the buckshot is not a kind of a duration if the fact that it is not unenthusiastic is not incorrect.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if that it is a lionet hold it does not impinge go-kart is wrong. ; $context$ = sent1: the lever is not a lionet if it blacklists slumgullion. sent2: there exists something such that if it is prognathous it is not a kind of a semen. sent3: there is something such that if it is a lionet then it impinges go-kart. sent4: there is something such that if it is a transudate it is not a sigh. sent5: there is something such that if it does kibitz the fact that it is not a pan is not wrong. sent6: if the fact that the Colbert does blacklist squiggle hold it is not a clomipramine. sent7: the lever does not stave squash if it impinges go-kart. sent8: the fact that the shelf is not a lionet hold if it is deflationary. sent9: if that the ogive is enforceable is not incorrect then it is not a kind of a pipal. sent10: if the pollack does impinge interrelation it is not a kind of a lionet. sent11: if the lever is a kind of an employee it is not a lionet. sent12: the lever does not impinge left-hander if it is a camper. sent13: the lever does not stave brill if it does impinge go-kart. sent14: there is something such that if it is postglacial then it is not a anticholinesterase. sent15: if the lever is a lionet then it does not impinge go-kart. sent16: there exists something such that if it does truss then it is not a pachysandra. sent17: the lever is not a lionet if it is eradicable. sent18: the GHB is not unmodifiable if that it impinges one-billionth is right. sent19: if something is enthusiastic it is not a duration. sent20: the lever impinges go-kart if it is a kind of a lionet. ; $proof$ = 
sent15 -> hypothesis; __DISPROVED__