the dicumarol does not inherit.
sent1: if that something is not a Kubrick and does not confine backup does not hold it is a Kubrick. sent2: the jackstraws is not nonruminant. sent3: if that the nuclease is not rupestral and/or it is a kind of a Kubrick is not correct the malfeasant confines backup. sent4: the fact that the fact that either the nuclease is not rupestral or it is a kind of a Kubrick or both hold is false. sent5: if something that does not contemn Trumbull is a kind of a fairy then the dicumarol does not inherit. sent6: the jackstraws does not contemn Trumbull if it is not a tenderizer and it is not nonruminant. sent7: that the malfeasant does confine Colossian is right. sent8: if something confines Colossian and it does confine backup the jackstraws is not a kind of a tenderizer. sent9: That the Colossian does confine malfeasant is right.
sent3 & sent4 -> int1: the fact that the malfeasant confines backup is not wrong.; int1 & sent7 -> int2: the malfeasant confines Colossian and it does confine backup.; int2 -> int3: that something confines Colossian and does confine backup hold.; int3 & sent8 -> int4: the jackstraws is not a tenderizer.; int4 & sent2 -> int5: the jackstraws is not a kind of a tenderizer and is not nonruminant.; int5 & sent6 -> int6: the jackstraws does not contemn Trumbull.;
the dicumarol is a Kubrick.
sent1 -> int7: if the fact that the dicumarol is not a Kubrick and does not confine backup does not hold then it is a kind of a Kubrick.;
$hypothesis$ = the dicumarol does not inherit. ; $context$ = sent1: if that something is not a Kubrick and does not confine backup does not hold it is a Kubrick. sent2: the jackstraws is not nonruminant. sent3: if that the nuclease is not rupestral and/or it is a kind of a Kubrick is not correct the malfeasant confines backup. sent4: the fact that the fact that either the nuclease is not rupestral or it is a kind of a Kubrick or both hold is false. sent5: if something that does not contemn Trumbull is a kind of a fairy then the dicumarol does not inherit. sent6: the jackstraws does not contemn Trumbull if it is not a tenderizer and it is not nonruminant. sent7: that the malfeasant does confine Colossian is right. sent8: if something confines Colossian and it does confine backup the jackstraws is not a kind of a tenderizer. sent9: That the Colossian does confine malfeasant is right. ; $proof$ = 
sent3 & sent4 -> int1: the fact that the malfeasant confines backup is not wrong.; int1 & sent7 -> int2: the malfeasant confines Colossian and it does confine backup.; int2 -> int3: that something confines Colossian and does confine backup hold.; int3 & sent8 -> int4: the jackstraws is not a tenderizer.; int4 & sent2 -> int5: the jackstraws is not a kind of a tenderizer and is not nonruminant.; int5 & sent6 -> int6: the jackstraws does not contemn Trumbull.; __UNKNOWN__