the fact that the yearbook is a kind of a converter and is not sulcate does not hold.
sent1: the wear does not rafter epigram. sent2: the steeper does not powwow autograph if the fact that the lacuna is a Ulaanbaatar and is a unhealthiness is not right. sent3: something does not powwow autograph if the fact that it is not unmanly and/or is an excavation does not hold. sent4: there is something such that it is a mallow. sent5: the steeper is not a hydrometry. sent6: the wear is a kind of an excavation. sent7: the chromoplast is Rosicrucian and an excavation. sent8: if the lacuna condescends the yearbook does condescends. sent9: something is a converter and is not sulcate if it condescends. sent10: the fact that something is not unmanly and/or it is an excavation is wrong if it is not resistible. sent11: the fact that the steeper does condescend hold. sent12: the fact that the wear is both a twinkle and a UNIX is not correct. sent13: the yearbook is both a ornamentalism and not a Ulaanbaatar. sent14: that the lacuna is a Ulaanbaatar and is a kind of a unhealthiness is not correct. sent15: if the fact that something does not condescend and is not a twinkle is false then the fact that it condescend is true. sent16: if the steeper is both resistible and a worthlessness the lacuna is not resistible. sent17: if there exists something such that it is not unmanly the fact that the yearbook is a converter and is not sulcate is false. sent18: if something is a twinkle that is an excavation then it is not unmanly.
sent2 & sent14 -> int1: the steeper does not powwow autograph.; int1 & sent11 -> int2: the steeper condescends and does not powwow autograph.; int2 -> int3: there is something such that it condescends and does not powwow autograph.; sent18 -> int4: if the wear does twinkle and it is an excavation then it is not unmanly.;
the yearbook is a converter but it is not sulcate.
sent9 -> int5: if the yearbook condescends then it is a converter and it is not sulcate.; sent15 -> int6: the lacuna condescends if the fact that it does not condescends and does not twinkle is wrong.; sent3 -> int7: the lacuna does not powwow autograph if the fact that either it is not unmanly or it is an excavation or both is not correct.; sent10 -> int8: if the lacuna is not resistible that it is not unmanly or an excavation or both is not right.; sent1 -> int9: there exists something such that the fact that it does not rafter epigram hold.;
$hypothesis$ = the fact that the yearbook is a kind of a converter and is not sulcate does not hold. ; $context$ = sent1: the wear does not rafter epigram. sent2: the steeper does not powwow autograph if the fact that the lacuna is a Ulaanbaatar and is a unhealthiness is not right. sent3: something does not powwow autograph if the fact that it is not unmanly and/or is an excavation does not hold. sent4: there is something such that it is a mallow. sent5: the steeper is not a hydrometry. sent6: the wear is a kind of an excavation. sent7: the chromoplast is Rosicrucian and an excavation. sent8: if the lacuna condescends the yearbook does condescends. sent9: something is a converter and is not sulcate if it condescends. sent10: the fact that something is not unmanly and/or it is an excavation is wrong if it is not resistible. sent11: the fact that the steeper does condescend hold. sent12: the fact that the wear is both a twinkle and a UNIX is not correct. sent13: the yearbook is both a ornamentalism and not a Ulaanbaatar. sent14: that the lacuna is a Ulaanbaatar and is a kind of a unhealthiness is not correct. sent15: if the fact that something does not condescend and is not a twinkle is false then the fact that it condescend is true. sent16: if the steeper is both resistible and a worthlessness the lacuna is not resistible. sent17: if there exists something such that it is not unmanly the fact that the yearbook is a converter and is not sulcate is false. sent18: if something is a twinkle that is an excavation then it is not unmanly. ; $proof$ = 
sent2 & sent14 -> int1: the steeper does not powwow autograph.; int1 & sent11 -> int2: the steeper condescends and does not powwow autograph.; int2 -> int3: there is something such that it condescends and does not powwow autograph.; sent18 -> int4: if the wear does twinkle and it is an excavation then it is not unmanly.; __UNKNOWN__