the jazzman is successful.
sent1: if the Illinoisan is both not endoscopic and not unfamiliar then the padrone does not homestead tissue. sent2: the padrone does not homestead tissue if the Illinoisan is endoscopic but it is not unfamiliar. sent3: the padrone is endoscopic if the Illinoisan homesteads tissue. sent4: if the tissue does quieten surfing the jazzman is successful. sent5: the padrone does not homestead tissue if the Illinoisan is a kind of non-endoscopic thing that is unfamiliar. sent6: the jazzman is successful if the tissue homesteads Fang. sent7: the tissue is not a thorn. sent8: if there is something such that the fact that it flaws does not hold the Illinoisan is not a thorn. sent9: there exists something such that it is not a flaw. sent10: the tissue quietens surfing and/or does homestead Fang if the padrone does not homestead tissue. sent11: there is something such that it is a flaw.
sent9 & sent8 -> int1: that the Illinoisan is not a thorn is right.;
$hypothesis$ = the jazzman is successful. ; $context$ = sent1: if the Illinoisan is both not endoscopic and not unfamiliar then the padrone does not homestead tissue. sent2: the padrone does not homestead tissue if the Illinoisan is endoscopic but it is not unfamiliar. sent3: the padrone is endoscopic if the Illinoisan homesteads tissue. sent4: if the tissue does quieten surfing the jazzman is successful. sent5: the padrone does not homestead tissue if the Illinoisan is a kind of non-endoscopic thing that is unfamiliar. sent6: the jazzman is successful if the tissue homesteads Fang. sent7: the tissue is not a thorn. sent8: if there is something such that the fact that it flaws does not hold the Illinoisan is not a thorn. sent9: there exists something such that it is not a flaw. sent10: the tissue quietens surfing and/or does homestead Fang if the padrone does not homestead tissue. sent11: there is something such that it is a flaw. ; $proof$ = 
sent9 & sent8 -> int1: that the Illinoisan is not a thorn is right.; __UNKNOWN__