the portal is not a kind of a hoister.
sent1: the fact that either the sheath is a screening or it does not overbid or both is false. sent2: the fact that the portal is not a spatter is not wrong if the fact that the sheath either screens or is not a overbid or both is incorrect.
sent2 & sent1 -> int1: the portal does not spatter.;
$hypothesis$ = the portal is not a kind of a hoister. ; $context$ = sent1: the fact that either the sheath is a screening or it does not overbid or both is false. sent2: the fact that the portal is not a spatter is not wrong if the fact that the sheath either screens or is not a overbid or both is incorrect. ; $proof$ = 
sent2 & sent1 -> int1: the portal does not spatter.; __UNKNOWN__