the arteriole is not antisatellite.
sent1: the company is not a distributor. sent2: the zoophyte is not a patriarchate. sent3: the company is not a chicory and not a distributor if the zoophyte is not a kind of a patriarchate.
sent3 & sent2 -> int1: the company is not a chicory and is not a kind of a distributor.;
$hypothesis$ = the arteriole is not antisatellite. ; $context$ = sent1: the company is not a distributor. sent2: the zoophyte is not a patriarchate. sent3: the company is not a chicory and not a distributor if the zoophyte is not a kind of a patriarchate. ; $proof$ = 
sent3 & sent2 -> int1: the company is not a chicory and is not a kind of a distributor.; __UNKNOWN__