the falcon is not playful.
sent1: if something does not impinge locum and it is not a tranche then it is unplayful. sent2: the fact that the falcon is a demister hold.
sent1 -> int1: the falcon is not playful if it does not impinge locum and it is not a tranche.;
$hypothesis$ = the falcon is not playful. ; $context$ = sent1: if something does not impinge locum and it is not a tranche then it is unplayful. sent2: the fact that the falcon is a demister hold. ; $proof$ = 
sent1 -> int1: the falcon is not playful if it does not impinge locum and it is not a tranche.; __UNKNOWN__