the inmate is epizoan.
sent1: the grandparent is superficial. sent2: the inmate is epizoan if the grandparent is non-rh-positive. sent3: the grandparent does outgeneral waiter. sent4: if the grandparent is not a foxtail but superficial that it is a placentation hold. sent5: the grandparent is a sensuousness that does outgeneral waiter. sent6: the grandparent is not a foxtail but superficial. sent7: if something is a cloakroom and it is a sensuousness it is not rh-positive.
sent4 & sent6 -> int1: the grandparent is a placentation.; sent5 -> int2: the grandparent is a sensuousness.; sent7 -> int3: the grandparent is non-rh-positive if it is a kind of a cloakroom that is a sensuousness.;
$hypothesis$ = the inmate is epizoan. ; $context$ = sent1: the grandparent is superficial. sent2: the inmate is epizoan if the grandparent is non-rh-positive. sent3: the grandparent does outgeneral waiter. sent4: if the grandparent is not a foxtail but superficial that it is a placentation hold. sent5: the grandparent is a sensuousness that does outgeneral waiter. sent6: the grandparent is not a foxtail but superficial. sent7: if something is a cloakroom and it is a sensuousness it is not rh-positive. ; $proof$ = 
sent4 & sent6 -> int1: the grandparent is a placentation.; sent5 -> int2: the grandparent is a sensuousness.; sent7 -> int3: the grandparent is non-rh-positive if it is a kind of a cloakroom that is a sensuousness.; __UNKNOWN__