that there exists something such that if the fact that it is a demographic and is animatistic is not correct then it is not a kind of a smoothhound is false.
sent1: there is something such that if it is non-animatistic then it is not a kind of a smoothhound. sent2: there is something such that if the fact that it does browse immunoassay and it is noncellular is incorrect then it is not postexilic. sent3: there is something such that if that it disunifies postdoctoral and it is a deliverable does not hold then it is not a kind of a turnip. sent4: there exists something such that if it is a demographic that is animatistic then it is not a smoothhound. sent5: if the fact that the myrmidon is a bloodwort and is a demographic is false it is not a Limulidae. sent6: the myrmidon is not a smoothhound if that it is not a demographic is true. sent7: there is something such that if it is not a Wayland it does not hob. sent8: there is something such that if that it does flagellate and it is a kind of a pithead is not correct it is non-billiards. sent9: there is something such that if that it is a kind of a demographic that is animatistic is false then it is a kind of a smoothhound. sent10: if the fact that something disunifies spear and it studs is wrong then it is not an inspection. sent11: if the fact that the myrmidon is a kind of a demographic and it is animatistic is not incorrect then it is not a smoothhound. sent12: there exists something such that if that it is a tamer and a defensive is wrong it does not configure hatmaker. sent13: the myrmidon is not a kind of a smoothhound if the fact that it is a kind of a demographic and it is animatistic does not hold. sent14: if the fact that that the franc-tireur is a kind of demographic thing that does configure principalship is true does not hold then it is not a kickback. sent15: there is something such that if that it is a CISC and it implodes does not hold it does not configure cleanser.
sent13 -> hypothesis;
there exists something such that if that it does disunify spear and is a stud is false it is not an inspection.
sent10 -> int1: the epicure is not a kind of an inspection if the fact that it does disunify spear and does stud is false.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if the fact that it is a demographic and is animatistic is not correct then it is not a kind of a smoothhound is false. ; $context$ = sent1: there is something such that if it is non-animatistic then it is not a kind of a smoothhound. sent2: there is something such that if the fact that it does browse immunoassay and it is noncellular is incorrect then it is not postexilic. sent3: there is something such that if that it disunifies postdoctoral and it is a deliverable does not hold then it is not a kind of a turnip. sent4: there exists something such that if it is a demographic that is animatistic then it is not a smoothhound. sent5: if the fact that the myrmidon is a bloodwort and is a demographic is false it is not a Limulidae. sent6: the myrmidon is not a smoothhound if that it is not a demographic is true. sent7: there is something such that if it is not a Wayland it does not hob. sent8: there is something such that if that it does flagellate and it is a kind of a pithead is not correct it is non-billiards. sent9: there is something such that if that it is a kind of a demographic that is animatistic is false then it is a kind of a smoothhound. sent10: if the fact that something disunifies spear and it studs is wrong then it is not an inspection. sent11: if the fact that the myrmidon is a kind of a demographic and it is animatistic is not incorrect then it is not a smoothhound. sent12: there exists something such that if that it is a tamer and a defensive is wrong it does not configure hatmaker. sent13: the myrmidon is not a kind of a smoothhound if the fact that it is a kind of a demographic and it is animatistic does not hold. sent14: if the fact that that the franc-tireur is a kind of demographic thing that does configure principalship is true does not hold then it is not a kickback. sent15: there is something such that if that it is a CISC and it implodes does not hold it does not configure cleanser. ; $proof$ = 
sent13 -> hypothesis; __DISPROVED__