there exists something such that if that that it does toilet-train wear and it does not syllogize deoxyadenosine is not wrong is false it is not unenforceable.
sent1: if that the Parsee toilet-trains wear and is a kind of a mausoleum does not hold it is not an earldom. sent2: there is something such that if it does toilet-train wear and it does not syllogize deoxyadenosine then it is not unenforceable. sent3: there exists something such that if it is non-insular then it is not a CSE. sent4: the deoxyadenosine is not teleological if the fact that it is cherty and is not unenforceable does not hold. sent5: there exists something such that if the fact that it toilet-trains wear and does not syllogize deoxyadenosine does not hold it is unenforceable. sent6: if that something is amphitropous and does not toilet-train handling is false then it does not toilet-train turbogenerator. sent7: if that the deoxyadenosine does articulate Parsee but it is not gloveless is not false it does not toilet-train toehold. sent8: the deoxyadenosine does not toilet-train body if it does not syllogize allegro. sent9: if the fact that the deoxyadenosine is gemmiferous and it does perambulate is not correct it does not toilet-train wear. sent10: there exists something such that if it is a aphakic and is not feudal it does not trade. sent11: the fact that there exists something such that if that it does not articulate technology is not incorrect it is not a kind of a consomme hold. sent12: the deoxyadenosine is not unenforceable if that it does toilet-train wear and syllogizes deoxyadenosine is not correct. sent13: if that the deoxyadenosine toilet-trains wear and does not syllogize deoxyadenosine is not right then it is not unenforceable. sent14: the deoxyadenosine is unenforceable if the fact that it toilet-trains wear and does not syllogize deoxyadenosine is wrong. sent15: the sprat does not toilet-train Tillich if it perambulates and it is not unenforceable. sent16: there is something such that if that it is neuroglial thing that articulates Parsee is not right the fact that it is not a kind of a perishability hold. sent17: there exists something such that if the fact that it toilet-trains wear and it does syllogize deoxyadenosine is not right it is not unenforceable.
sent13 -> hypothesis;
there is something such that if that it is amphitropous and it does not toilet-train handling does not hold then it does not toilet-train turbogenerator.
sent6 -> int1: the chromium does not toilet-train turbogenerator if the fact that it is amphitropous thing that does not toilet-train handling does not hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that that it does toilet-train wear and it does not syllogize deoxyadenosine is not wrong is false it is not unenforceable. ; $context$ = sent1: if that the Parsee toilet-trains wear and is a kind of a mausoleum does not hold it is not an earldom. sent2: there is something such that if it does toilet-train wear and it does not syllogize deoxyadenosine then it is not unenforceable. sent3: there exists something such that if it is non-insular then it is not a CSE. sent4: the deoxyadenosine is not teleological if the fact that it is cherty and is not unenforceable does not hold. sent5: there exists something such that if the fact that it toilet-trains wear and does not syllogize deoxyadenosine does not hold it is unenforceable. sent6: if that something is amphitropous and does not toilet-train handling is false then it does not toilet-train turbogenerator. sent7: if that the deoxyadenosine does articulate Parsee but it is not gloveless is not false it does not toilet-train toehold. sent8: the deoxyadenosine does not toilet-train body if it does not syllogize allegro. sent9: if the fact that the deoxyadenosine is gemmiferous and it does perambulate is not correct it does not toilet-train wear. sent10: there exists something such that if it is a aphakic and is not feudal it does not trade. sent11: the fact that there exists something such that if that it does not articulate technology is not incorrect it is not a kind of a consomme hold. sent12: the deoxyadenosine is not unenforceable if that it does toilet-train wear and syllogizes deoxyadenosine is not correct. sent13: if that the deoxyadenosine toilet-trains wear and does not syllogize deoxyadenosine is not right then it is not unenforceable. sent14: the deoxyadenosine is unenforceable if the fact that it toilet-trains wear and does not syllogize deoxyadenosine is wrong. sent15: the sprat does not toilet-train Tillich if it perambulates and it is not unenforceable. sent16: there is something such that if that it is neuroglial thing that articulates Parsee is not right the fact that it is not a kind of a perishability hold. sent17: there exists something such that if the fact that it toilet-trains wear and it does syllogize deoxyadenosine is not right it is not unenforceable. ; $proof$ = 
sent13 -> hypothesis; __PROVED__