the bullfighter is a miniaturization or it is a warrantee or both.
sent1: the fact that the bullfighter fragments Lyon and is not a warrantee is incorrect. sent2: there is something such that it is antigenic. sent3: the teammate is not a warrantee if there exists something such that it is not antigenic. sent4: if something fragments Lyon then that it is hydric and it is not poetics is wrong. sent5: the fact that the fact that something is either a miniaturization or a warrantee or both is correct is not right if it is not antigenic. sent6: the bullfighter is a kind of a miniaturization if that the scrotum is poetics and does not fragment Lyon does not hold. sent7: the fact that the teammate is hydric but it is not antigenic does not hold. sent8: the teammate is not antigenic. sent9: if the scrotum is not poetics that the bullfighter is a miniaturization is correct. sent10: the fact that the scrotum is poetics but it does not fragment Lyon is not correct if the stockpot is not hydric.
sent8 -> int1: there exists something such that it is not antigenic.;
the fact that either the bullfighter is a miniaturization or it is a warrantee or both is not correct.
sent5 -> int2: if the bullfighter is not antigenic then the fact that it is a miniaturization or a warrantee or both is incorrect.; sent4 -> int3: that that the scrotum is hydric but not poetics is incorrect is not wrong if it fragments Lyon.;
$hypothesis$ = the bullfighter is a miniaturization or it is a warrantee or both. ; $context$ = sent1: the fact that the bullfighter fragments Lyon and is not a warrantee is incorrect. sent2: there is something such that it is antigenic. sent3: the teammate is not a warrantee if there exists something such that it is not antigenic. sent4: if something fragments Lyon then that it is hydric and it is not poetics is wrong. sent5: the fact that the fact that something is either a miniaturization or a warrantee or both is correct is not right if it is not antigenic. sent6: the bullfighter is a kind of a miniaturization if that the scrotum is poetics and does not fragment Lyon does not hold. sent7: the fact that the teammate is hydric but it is not antigenic does not hold. sent8: the teammate is not antigenic. sent9: if the scrotum is not poetics that the bullfighter is a miniaturization is correct. sent10: the fact that the scrotum is poetics but it does not fragment Lyon is not correct if the stockpot is not hydric. ; $proof$ = 
sent8 -> int1: there exists something such that it is not antigenic.; __UNKNOWN__