the conduit is not natal.
sent1: there is something such that it is opened thing that does not adjust. sent2: the conduit is not natal if it does incorporate and is translational. sent3: if the bin is greater it opens. sent4: something is a kind of an opened. sent5: the bin gardens. sent6: the Wake does not jacket lysin. sent7: there is something such that it adjusts. sent8: if the Wake is a kind of a diamondback the bin jackets lysin. sent9: the conduit does adjust if the oxytocic incorporates. sent10: that the phyllo is not greater does not hold. sent11: the conduit is both translational and not opened. sent12: the Wake is a kind of a diamondback if the conduit is blastodermatic. sent13: if there is something such that it does jacket lysin and it is not greater then the oxytocic does incorporate. sent14: if the conduit is a adduction that is translational the fact that it is not natal is right. sent15: the osmund jackets lysin and is not extensive. sent16: the conduit jackets lysin but it is not an opened. sent17: the bin is euphonious. sent18: the bin is not a kind of a adduction if it is greater and it is natal. sent19: the bin is not greater. sent20: the epicardium is greater and does not resurface. sent21: if the conduit adjusts then it is a kind of a adduction.
sent11 -> int1: the conduit is translational.;
$hypothesis$ = the conduit is not natal. ; $context$ = sent1: there is something such that it is opened thing that does not adjust. sent2: the conduit is not natal if it does incorporate and is translational. sent3: if the bin is greater it opens. sent4: something is a kind of an opened. sent5: the bin gardens. sent6: the Wake does not jacket lysin. sent7: there is something such that it adjusts. sent8: if the Wake is a kind of a diamondback the bin jackets lysin. sent9: the conduit does adjust if the oxytocic incorporates. sent10: that the phyllo is not greater does not hold. sent11: the conduit is both translational and not opened. sent12: the Wake is a kind of a diamondback if the conduit is blastodermatic. sent13: if there is something such that it does jacket lysin and it is not greater then the oxytocic does incorporate. sent14: if the conduit is a adduction that is translational the fact that it is not natal is right. sent15: the osmund jackets lysin and is not extensive. sent16: the conduit jackets lysin but it is not an opened. sent17: the bin is euphonious. sent18: the bin is not a kind of a adduction if it is greater and it is natal. sent19: the bin is not greater. sent20: the epicardium is greater and does not resurface. sent21: if the conduit adjusts then it is a kind of a adduction. ; $proof$ = 
sent11 -> int1: the conduit is translational.; __UNKNOWN__