the fact that there exists something such that if it is not a kind of a metatarsal it is womanly is not correct.
sent1: there is something such that if it is a metatarsal it is womanly. sent2: if the katharometer is a metatarsal then it is womanly. sent3: something is digestive if it is not coloring. sent4: if the katharometer does not rear encounter the fact that it is a kind of a metatarsal hold. sent5: if something is a metatarsal it is womanly. sent6: the katharometer fools if it is not metatarsal. sent7: there is something such that if it is not a carbohydrate it is arteriosclerotic. sent8: that something is a twins if it is not a laptop is correct. sent9: something is womanly if it is not metatarsal. sent10: there exists something such that if it is not a carboxyl the fact that it is heraldic is correct. sent11: there is something such that if it is not a bruising then it is a sparkle. sent12: if the katharometer is not faithful then it is a stub. sent13: something is a venography if the fact that it does not cozen ABM is right. sent14: the katharometer is not non-metatarsal if that it is not homiletics is true. sent15: if something is not a kind of a Haley it is a center. sent16: the urial is a kind of a Dickinson if it is not womanly. sent17: the Algonquian is heraldic if it is unwomanly.
sent9 -> int1: if the katharometer is not a kind of a metatarsal it is womanly.; int1 -> hypothesis;
if the borrower does not cozen ABM then it is a venography.
sent13 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a kind of a metatarsal it is womanly is not correct. ; $context$ = sent1: there is something such that if it is a metatarsal it is womanly. sent2: if the katharometer is a metatarsal then it is womanly. sent3: something is digestive if it is not coloring. sent4: if the katharometer does not rear encounter the fact that it is a kind of a metatarsal hold. sent5: if something is a metatarsal it is womanly. sent6: the katharometer fools if it is not metatarsal. sent7: there is something such that if it is not a carbohydrate it is arteriosclerotic. sent8: that something is a twins if it is not a laptop is correct. sent9: something is womanly if it is not metatarsal. sent10: there exists something such that if it is not a carboxyl the fact that it is heraldic is correct. sent11: there is something such that if it is not a bruising then it is a sparkle. sent12: if the katharometer is not faithful then it is a stub. sent13: something is a venography if the fact that it does not cozen ABM is right. sent14: the katharometer is not non-metatarsal if that it is not homiletics is true. sent15: if something is not a kind of a Haley it is a center. sent16: the urial is a kind of a Dickinson if it is not womanly. sent17: the Algonquian is heraldic if it is unwomanly. ; $proof$ = 
sent9 -> int1: if the katharometer is not a kind of a metatarsal it is womanly.; int1 -> hypothesis; __DISPROVED__