there exists something such that if the fact that it is not chancroidal and it is a kind of a sediment hold it is a kind of a Brownie.
sent1: the bellwort does grate lander if it does not undercut ballplayer and it is a Brownie. sent2: if something is not a kind of a soup-strainer but it is alkylic that it undercuts snowfield hold. sent3: if a puritan is algolagnic it undercuts dismount. sent4: if something that is not a shipowner grates primness then it does disapprove bellwort. sent5: there is something such that if it is chancroidal and it sediments then it is a Brownie. sent6: something that is non-chancroidal and a sediment is a Brownie. sent7: if something ripens and is a puritan it does undercut impedance. sent8: something that is not non-chancroidal and does sediment is a Brownie. sent9: there is something such that if it does grate Dasypodidae and is dependent it is a kind of a Oliver. sent10: if something is not a latrine but it is high-energy it is cesarean. sent11: if something is not semiautobiographical but it is a district it conveys. sent12: the fact that if the glucosamine is not indestructible but it is the chagrin then the glucosamine is chancroidal hold. sent13: there is something such that if it is not noncellular and it is an acne then it is a disciple. sent14: if the glucosamine is non-Monacan but it is chancroidal then it is indeterminable. sent15: there is something such that if it does defect and it is a kind of a curfew it is a Plavix. sent16: if the dinner does not induce subtitle but it is chancroidal then it is inexhaustible. sent17: if the glucosamine is chancroidal a sediment then the fact that it is a kind of a Brownie is not wrong.
sent6 -> int1: if the glucosamine is a kind of non-chancroidal a sediment it is a kind of a Brownie.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not chancroidal and it is a kind of a sediment hold it is a kind of a Brownie. ; $context$ = sent1: the bellwort does grate lander if it does not undercut ballplayer and it is a Brownie. sent2: if something is not a kind of a soup-strainer but it is alkylic that it undercuts snowfield hold. sent3: if a puritan is algolagnic it undercuts dismount. sent4: if something that is not a shipowner grates primness then it does disapprove bellwort. sent5: there is something such that if it is chancroidal and it sediments then it is a Brownie. sent6: something that is non-chancroidal and a sediment is a Brownie. sent7: if something ripens and is a puritan it does undercut impedance. sent8: something that is not non-chancroidal and does sediment is a Brownie. sent9: there is something such that if it does grate Dasypodidae and is dependent it is a kind of a Oliver. sent10: if something is not a latrine but it is high-energy it is cesarean. sent11: if something is not semiautobiographical but it is a district it conveys. sent12: the fact that if the glucosamine is not indestructible but it is the chagrin then the glucosamine is chancroidal hold. sent13: there is something such that if it is not noncellular and it is an acne then it is a disciple. sent14: if the glucosamine is non-Monacan but it is chancroidal then it is indeterminable. sent15: there is something such that if it does defect and it is a kind of a curfew it is a Plavix. sent16: if the dinner does not induce subtitle but it is chancroidal then it is inexhaustible. sent17: if the glucosamine is chancroidal a sediment then the fact that it is a kind of a Brownie is not wrong. ; $proof$ = 
sent6 -> int1: if the glucosamine is a kind of non-chancroidal a sediment it is a kind of a Brownie.; int1 -> hypothesis; __PROVED__