the raja does not single Hathaway but it is abducent.
sent1: something does not single Hathaway and is a abducent if it is a kind of a Samoan. sent2: something is a porridge if it is a fitted. sent3: the compatriot solves and is fitted. sent4: if the raja is a kind of a abducent it does solve.
sent3 -> int1: the compatriot is fitted.; sent2 -> int2: if the compatriot does fit then it is a porridge.; int1 & int2 -> int3: the compatriot is a kind of a porridge.; sent1 -> int4: if the raja is not non-Samoan then it does not single Hathaway and it is a abducent.;
$hypothesis$ = the raja does not single Hathaway but it is abducent. ; $context$ = sent1: something does not single Hathaway and is a abducent if it is a kind of a Samoan. sent2: something is a porridge if it is a fitted. sent3: the compatriot solves and is fitted. sent4: if the raja is a kind of a abducent it does solve. ; $proof$ = 
sent3 -> int1: the compatriot is fitted.; sent2 -> int2: if the compatriot does fit then it is a porridge.; int1 & int2 -> int3: the compatriot is a kind of a porridge.; sent1 -> int4: if the raja is not non-Samoan then it does not single Hathaway and it is a abducent.; __UNKNOWN__