there is something such that if it is a commission that does not lean dong then that it is a kind of a taffrail is true.
sent1: the procarbazine is a taffrail if it is a commission and it does not lean dong. sent2: if the procarbazine is a commission that leans dong it is a taffrail. sent3: if the cemetery is a sadomasochist but it is not a commission then it is a ceratosaur. sent4: the procarbazine is unpreventable if it enfranchises poplar and is not a lectin. sent5: there is something such that if it is a kind of remediable thing that does not lean Curtiss then the fact that it is tectonic hold. sent6: there exists something such that if it is thermostatics and it is not sensory it is pediatrics. sent7: if the procarbazine is both a salinometer and not sounding the fact that it is a Baltic is right. sent8: there exists something such that if it is malicious and it is not a tank it does enfranchise PIJ. sent9: there exists something such that if it is a Vaduz but not atypical then it is impenetrable. sent10: the procarbazine is a commission if it is nonsubmersible and not a cryptanalyst. sent11: there exists something such that if it is a Xian and not a literati then it is a Napoleon. sent12: there exists something such that if it is undescriptive and it is not a vestal then it is senatorial. sent13: if the procarbazine does repine Texarkana and is not a alanine it is a ergonovine. sent14: the fact that there exists something such that if it is benevolent but not ideographic it is fictional is right. sent15: there exists something such that if it is both bionic and non-vicarial then it does enfranchise Nestorianism. sent16: the fact that there is something such that if it is a kind of a commission and it leans dong it is a kind of a taffrail is true. sent17: the fact that there is something such that if the fact that it does repine spacewalker and does not lean eyelet is true it is a cryptanalyst hold. sent18: if something is a whoremaster that is not a grouch it is a taffrail. sent19: the fact that if the sendee does enfranchise literati and does not lean dong the sendee is antennal is not incorrect.
sent1 -> hypothesis;
the procarbazine is a taffrail if it is a kind of a whoremaster and is not a kind of a grouch.
sent18 -> hypothesis;
$hypothesis$ = there is something such that if it is a commission that does not lean dong then that it is a kind of a taffrail is true. ; $context$ = sent1: the procarbazine is a taffrail if it is a commission and it does not lean dong. sent2: if the procarbazine is a commission that leans dong it is a taffrail. sent3: if the cemetery is a sadomasochist but it is not a commission then it is a ceratosaur. sent4: the procarbazine is unpreventable if it enfranchises poplar and is not a lectin. sent5: there is something such that if it is a kind of remediable thing that does not lean Curtiss then the fact that it is tectonic hold. sent6: there exists something such that if it is thermostatics and it is not sensory it is pediatrics. sent7: if the procarbazine is both a salinometer and not sounding the fact that it is a Baltic is right. sent8: there exists something such that if it is malicious and it is not a tank it does enfranchise PIJ. sent9: there exists something such that if it is a Vaduz but not atypical then it is impenetrable. sent10: the procarbazine is a commission if it is nonsubmersible and not a cryptanalyst. sent11: there exists something such that if it is a Xian and not a literati then it is a Napoleon. sent12: there exists something such that if it is undescriptive and it is not a vestal then it is senatorial. sent13: if the procarbazine does repine Texarkana and is not a alanine it is a ergonovine. sent14: the fact that there exists something such that if it is benevolent but not ideographic it is fictional is right. sent15: there exists something such that if it is both bionic and non-vicarial then it does enfranchise Nestorianism. sent16: the fact that there is something such that if it is a kind of a commission and it leans dong it is a kind of a taffrail is true. sent17: the fact that there is something such that if the fact that it does repine spacewalker and does not lean eyelet is true it is a cryptanalyst hold. sent18: if something is a whoremaster that is not a grouch it is a taffrail. sent19: the fact that if the sendee does enfranchise literati and does not lean dong the sendee is antennal is not incorrect. ; $proof$ = 
sent1 -> hypothesis; __PROVED__