the tipu is not glomerular.
sent1: there is something such that the fact that it is not a wind and is a kind of a epigenesis does not hold. sent2: if there exists something such that that it is not a wind and is a kind of a epigenesis is not true then the poodle blinds hotness. sent3: the tipu is glomerular if the poodle does blind hotness. sent4: there is something such that the fact that it does blind ballyhoo and does not lean aculeus does not hold. sent5: the fact that the splinter is not a read is not false if there is something such that that it is non-oropharyngeal thing that is Kiplingesque is not true. sent6: the tipu does blind hotness if the poodle is glomerular. sent7: if there is something such that the fact that it does blind ballyhoo and does not lean aculeus is incorrect the chipboard does not blind ballyhoo. sent8: that the fact that the tipu does not blind hotness and is beneficent is not false is wrong if the poodle does not state. sent9: if the chipboard is not a subtlety and/or does not blind ballyhoo it does inspect. sent10: something is not glomerular if the fact that it does not blind hotness and it is beneficent is false. sent11: the fact that something is not a wind but a epigenesis is not incorrect. sent12: the poodle blinds hotness if there exists something such that it winds. sent13: if the chipboard inspects then the fact that it is not oropharyngeal and it is Kiplingesque is not true. sent14: there is something such that the fact that it does wind and it is a kind of a epigenesis does not hold. sent15: the fact that something is a kind of a state that is not uncut is wrong if it is not a read. sent16: the stockjobber is uncut. sent17: the poodle is Kiplingesque.
sent1 & sent2 -> int1: the poodle blinds hotness.; int1 & sent3 -> hypothesis;
the tipu is not glomerular.
sent10 -> int2: if that the tipu does not blind hotness but it is beneficent does not hold then it is not glomerular.; sent15 -> int3: that the fact that the splinter does state but it is not uncut is right does not hold if it does not read.; sent4 & sent7 -> int4: the chipboard does not blind ballyhoo.; int4 -> int5: the chipboard is not a subtlety or does not blind ballyhoo or both.; sent9 & int5 -> int6: the chipboard does inspect.; sent13 & int6 -> int7: that the chipboard is not oropharyngeal and is not non-Kiplingesque is not right.; int7 -> int8: there exists something such that the fact that it is both not oropharyngeal and Kiplingesque is false.; int8 & sent5 -> int9: the splinter is not a kind of a read.; int3 & int9 -> int10: that the splinter is a state but it is not uncut is not right.; int10 -> int11: there is something such that that it is a state and it is not uncut is incorrect.;
$hypothesis$ = the tipu is not glomerular. ; $context$ = sent1: there is something such that the fact that it is not a wind and is a kind of a epigenesis does not hold. sent2: if there exists something such that that it is not a wind and is a kind of a epigenesis is not true then the poodle blinds hotness. sent3: the tipu is glomerular if the poodle does blind hotness. sent4: there is something such that the fact that it does blind ballyhoo and does not lean aculeus does not hold. sent5: the fact that the splinter is not a read is not false if there is something such that that it is non-oropharyngeal thing that is Kiplingesque is not true. sent6: the tipu does blind hotness if the poodle is glomerular. sent7: if there is something such that the fact that it does blind ballyhoo and does not lean aculeus is incorrect the chipboard does not blind ballyhoo. sent8: that the fact that the tipu does not blind hotness and is beneficent is not false is wrong if the poodle does not state. sent9: if the chipboard is not a subtlety and/or does not blind ballyhoo it does inspect. sent10: something is not glomerular if the fact that it does not blind hotness and it is beneficent is false. sent11: the fact that something is not a wind but a epigenesis is not incorrect. sent12: the poodle blinds hotness if there exists something such that it winds. sent13: if the chipboard inspects then the fact that it is not oropharyngeal and it is Kiplingesque is not true. sent14: there is something such that the fact that it does wind and it is a kind of a epigenesis does not hold. sent15: the fact that something is a kind of a state that is not uncut is wrong if it is not a read. sent16: the stockjobber is uncut. sent17: the poodle is Kiplingesque. ; $proof$ = 
sent1 & sent2 -> int1: the poodle blinds hotness.; int1 & sent3 -> hypothesis; __DISPROVED__