the surfeit is not artificial.
sent1: the fact that the Young is catabolic or does not skedaddle Gaudi or both is not incorrect if it is unadoptable. sent2: the Young is unadoptable. sent3: the fact that something is not a Kentuckian is true. sent4: the naphazoline is both not a Kentuckian and a rotifer if that it is not a echinus is true. sent5: if that that the cookstove is a rotifer and it is a echinus is not false does not hold the Young is not a kind of a echinus. sent6: if the naphazoline is not a echinus it is not a kind of a Kentuckian. sent7: the naphazoline is not a Kentuckian. sent8: if something is not a kind of a echinus then it is a Duse and is an explication. sent9: the cookstove is an explication. sent10: if the naphazoline is a rotifer and it is catkinate the surfeit is not artificial. sent11: there is something such that it is an explication. sent12: there is something such that it is artificial and it is a kind of a echinus. sent13: if there is something such that it is a Duse that is an explication the naphazoline is not a echinus. sent14: the naphazoline is catkinate. sent15: there exists something such that the fact that it is a kind of a Duse is right. sent16: something is artificial if it is unadoptable. sent17: the cookstove is a kind of a Duse if the Young does not skedaddle Gaudi.
sent1 & sent2 -> int1: the Young is catabolic and/or does not skedaddle Gaudi.;
the surfeit is artificial.
sent16 -> int2: if the surfeit is unadoptable then it is not non-artificial.; sent8 -> int3: if the fact that the Young is not a echinus is true then it is a Duse and an explication.;
$hypothesis$ = the surfeit is not artificial. ; $context$ = sent1: the fact that the Young is catabolic or does not skedaddle Gaudi or both is not incorrect if it is unadoptable. sent2: the Young is unadoptable. sent3: the fact that something is not a Kentuckian is true. sent4: the naphazoline is both not a Kentuckian and a rotifer if that it is not a echinus is true. sent5: if that that the cookstove is a rotifer and it is a echinus is not false does not hold the Young is not a kind of a echinus. sent6: if the naphazoline is not a echinus it is not a kind of a Kentuckian. sent7: the naphazoline is not a Kentuckian. sent8: if something is not a kind of a echinus then it is a Duse and is an explication. sent9: the cookstove is an explication. sent10: if the naphazoline is a rotifer and it is catkinate the surfeit is not artificial. sent11: there is something such that it is an explication. sent12: there is something such that it is artificial and it is a kind of a echinus. sent13: if there is something such that it is a Duse that is an explication the naphazoline is not a echinus. sent14: the naphazoline is catkinate. sent15: there exists something such that the fact that it is a kind of a Duse is right. sent16: something is artificial if it is unadoptable. sent17: the cookstove is a kind of a Duse if the Young does not skedaddle Gaudi. ; $proof$ = 
sent1 & sent2 -> int1: the Young is catabolic and/or does not skedaddle Gaudi.; __UNKNOWN__