the achiever is not a kind of a Phoxinus.
sent1: the activator is extramural and Frenchifies lime if there is something such that it is an emergency. sent2: the achiever is extramural. sent3: the cocksucker is a kind of a teredo and it does trip leptosporangium. sent4: there exists something such that it is extramural. sent5: something that is both not a woodenware and extramural is not a Phoxinus. sent6: the achiever is both not a woodenware and extramural if the beech is not a kind of a radioimmunoassay. sent7: there is something such that that the fact that it is not a kind of a woodenware hold does not hold. sent8: if there exists something such that it is a woodenware then the achiever is extramural and it is a Phoxinus.
sent7 & sent8 -> int1: the achiever is extramural and it is a Phoxinus.; int1 -> hypothesis;
the achiever is not a Phoxinus.
sent5 -> int2: if the achiever is not a woodenware but it is extramural that it is not a kind of a Phoxinus is not false.;
$hypothesis$ = the achiever is not a kind of a Phoxinus. ; $context$ = sent1: the activator is extramural and Frenchifies lime if there is something such that it is an emergency. sent2: the achiever is extramural. sent3: the cocksucker is a kind of a teredo and it does trip leptosporangium. sent4: there exists something such that it is extramural. sent5: something that is both not a woodenware and extramural is not a Phoxinus. sent6: the achiever is both not a woodenware and extramural if the beech is not a kind of a radioimmunoassay. sent7: there is something such that that the fact that it is not a kind of a woodenware hold does not hold. sent8: if there exists something such that it is a woodenware then the achiever is extramural and it is a Phoxinus. ; $proof$ = 
sent7 & sent8 -> int1: the achiever is extramural and it is a Phoxinus.; int1 -> hypothesis; __DISPROVED__