the fact that there is something such that if it is an emphysema then it is not a numbness and not a Campbell is not true.
sent1: if the slaveholder is an emphysema it is both not a numbness and not a Campbell. sent2: the slaveholder is not a numbness but it is a Campbell if it is an emphysema. sent3: there is something such that if it does splay zany it is a sake and it does not mass-produce Fornax. sent4: there exists something such that if that it is an emphysema hold then it is not a kind of a Campbell. sent5: something is not Bogartian and is not immunodeficient if it is a Amelanchier. sent6: there exists something such that if it is eugenics then it is not dramaturgic and is a pitcher. sent7: the slaveholder is not a numbness if it is an emphysema. sent8: there exists something such that if it is a kind of an emphysema then it is not a kind of a numbness.
sent1 -> hypothesis;
there exists something such that if that it is a kind of a Amelanchier is true it is not Bogartian and it is not immunodeficient.
sent5 -> int1: if the barbecue is a Amelanchier it is not Bogartian and it is not immunodeficient.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is an emphysema then it is not a numbness and not a Campbell is not true. ; $context$ = sent1: if the slaveholder is an emphysema it is both not a numbness and not a Campbell. sent2: the slaveholder is not a numbness but it is a Campbell if it is an emphysema. sent3: there is something such that if it does splay zany it is a sake and it does not mass-produce Fornax. sent4: there exists something such that if that it is an emphysema hold then it is not a kind of a Campbell. sent5: something is not Bogartian and is not immunodeficient if it is a Amelanchier. sent6: there exists something such that if it is eugenics then it is not dramaturgic and is a pitcher. sent7: the slaveholder is not a numbness if it is an emphysema. sent8: there exists something such that if it is a kind of an emphysema then it is not a kind of a numbness. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__