there exists something such that the fact that it is a kind of boneless thing that does not collar Fox is not wrong.
sent1: The amorousness expires Ark. sent2: the fact that something is boneless but it does not collar Fox is correct if the fact that it does expire amorousness is not incorrect. sent3: if something is not a blucher and it does not expire amorousness it collars Fox.
sent2 -> int1: the Ark is boneless but it does not collar Fox if it does expire amorousness.;
the trypsinogen collars Fox.
sent3 -> int2: if the trypsinogen is not a blucher and does not expire amorousness it collars Fox.;
$hypothesis$ = there exists something such that the fact that it is a kind of boneless thing that does not collar Fox is not wrong. ; $context$ = sent1: The amorousness expires Ark. sent2: the fact that something is boneless but it does not collar Fox is correct if the fact that it does expire amorousness is not incorrect. sent3: if something is not a blucher and it does not expire amorousness it collars Fox. ; $proof$ = 
sent2 -> int1: the Ark is boneless but it does not collar Fox if it does expire amorousness.; __UNKNOWN__