the dinoflagellate does not contradistinguish carinate.
sent1: if the Soddy is not calcific it is not a kind of a perigee. sent2: if the security surmounts then that it is either not an overlord or not labial or both does not hold. sent3: something does not contradistinguish carinate if the fact that it does not nod lowercase and is not a Lamarckian is not right. sent4: that something does not surmount and does crook mindfulness does not hold if it is a Goma. sent5: the dinoflagellate does contradistinguish carinate if the security contradistinguish carinate. sent6: if that the Soddy is calcific and a egality is wrong then the fact that it is not calcific is true. sent7: that the Soddy is calcific and it is a egality is wrong. sent8: if that something does not surmount but it crooks mindfulness is false then it does surmount. sent9: the dinoflagellate is an overlord and it is a kind of a labial.
sent9 -> int1: the dinoflagellate is an overlord.; sent3 -> int2: if that the dinoflagellate does not nod lowercase and it is not Lamarckian is not right it does not contradistinguish carinate.;
the dinoflagellate does contradistinguish carinate.
sent8 -> int3: if that the security does not surmount and does crook mindfulness is incorrect it surmount.; sent4 -> int4: if the fact that the security is a Goma hold then that it does not surmount and it does crook mindfulness is not true.; sent6 & sent7 -> int5: the Soddy is not calcific.; sent1 & int5 -> int6: the Soddy is not a perigee.; int6 -> int7: there exists something such that the fact that it is not a perigee is true.;
$hypothesis$ = the dinoflagellate does not contradistinguish carinate. ; $context$ = sent1: if the Soddy is not calcific it is not a kind of a perigee. sent2: if the security surmounts then that it is either not an overlord or not labial or both does not hold. sent3: something does not contradistinguish carinate if the fact that it does not nod lowercase and is not a Lamarckian is not right. sent4: that something does not surmount and does crook mindfulness does not hold if it is a Goma. sent5: the dinoflagellate does contradistinguish carinate if the security contradistinguish carinate. sent6: if that the Soddy is calcific and a egality is wrong then the fact that it is not calcific is true. sent7: that the Soddy is calcific and it is a egality is wrong. sent8: if that something does not surmount but it crooks mindfulness is false then it does surmount. sent9: the dinoflagellate is an overlord and it is a kind of a labial. ; $proof$ = 
sent9 -> int1: the dinoflagellate is an overlord.; sent3 -> int2: if that the dinoflagellate does not nod lowercase and it is not Lamarckian is not right it does not contradistinguish carinate.; __UNKNOWN__