the soupfin is not a kind of a osier and it is not a diacritic.
sent1: something is not a kind of a hypodermic if that either it is not a kind of a cocarboxylase or it is not a gastropod or both is false. sent2: the soupfin is both not a osier and not a diacritic if the ytterbium is a osier. sent3: the masthead is not a osier and it is not a cocarboxylase. sent4: the hotchpotch is not a kind of a republican and it is not a cocarboxylase. sent5: that the ombudsman is unprophetic is not false. sent6: something is official if it is a kind of a havelock. sent7: if the ytterbium is a kind of a osier then the soupfin is not a diacritic. sent8: if there is something such that it is a kind of a hypodermic and/or it is a kind of a cocarboxylase then that the ytterbium is a osier is not incorrect. sent9: if the ytterbium is hypodermic the masthead is both not hypodermic and not a osier. sent10: either the masthead is a cocarboxylase or it is a diacritic or both. sent11: the fact that the soupfin is not a osier and it is not a diacritic is wrong if it is not a hypodermic. sent12: if that something is not a havelock and it is not a Norway is not right then it is a havelock. sent13: something is a kind of a osier or it is a kind of a cocarboxylase or both. sent14: the masthead is not a cocarboxylase if the ytterbium is a cocarboxylase. sent15: the soupfin is a osier or a cocarboxylase or both. sent16: the fact that that the masthead is both not a diacritic and not a cocarboxylase is true if the soupfin is a diacritic hold. sent17: the Haida does not photostat buyout and is not a cocarboxylase. sent18: the gempylid is a kind of a diacritic. sent19: that something is not a kind of a cocarboxylase and/or it is not a gastropod does not hold if it is an official.
the fact that the soupfin is not a osier and is not a diacritic is not true.
sent1 -> int1: the soupfin is not a hypodermic if that it is not a cocarboxylase or it is not a gastropod or both is false.; sent19 -> int2: the fact that the soupfin is not a cocarboxylase or is not a kind of a gastropod or both does not hold if it is an official.; sent6 -> int3: the soupfin is an official if it is a havelock.; sent12 -> int4: that the soupfin is a havelock hold if the fact that it is not a havelock and it is not a kind of a Norway is not true.;
$hypothesis$ = the soupfin is not a kind of a osier and it is not a diacritic. ; $context$ = sent1: something is not a kind of a hypodermic if that either it is not a kind of a cocarboxylase or it is not a gastropod or both is false. sent2: the soupfin is both not a osier and not a diacritic if the ytterbium is a osier. sent3: the masthead is not a osier and it is not a cocarboxylase. sent4: the hotchpotch is not a kind of a republican and it is not a cocarboxylase. sent5: that the ombudsman is unprophetic is not false. sent6: something is official if it is a kind of a havelock. sent7: if the ytterbium is a kind of a osier then the soupfin is not a diacritic. sent8: if there is something such that it is a kind of a hypodermic and/or it is a kind of a cocarboxylase then that the ytterbium is a osier is not incorrect. sent9: if the ytterbium is hypodermic the masthead is both not hypodermic and not a osier. sent10: either the masthead is a cocarboxylase or it is a diacritic or both. sent11: the fact that the soupfin is not a osier and it is not a diacritic is wrong if it is not a hypodermic. sent12: if that something is not a havelock and it is not a Norway is not right then it is a havelock. sent13: something is a kind of a osier or it is a kind of a cocarboxylase or both. sent14: the masthead is not a cocarboxylase if the ytterbium is a cocarboxylase. sent15: the soupfin is a osier or a cocarboxylase or both. sent16: the fact that that the masthead is both not a diacritic and not a cocarboxylase is true if the soupfin is a diacritic hold. sent17: the Haida does not photostat buyout and is not a cocarboxylase. sent18: the gempylid is a kind of a diacritic. sent19: that something is not a kind of a cocarboxylase and/or it is not a gastropod does not hold if it is an official. ; $proof$ = 
__UNKNOWN__