something is a persimmon.
sent1: there is something such that the fact that it wakes Lermontov and it is excitable does not hold. sent2: if the fact that something is not a persimmon and does wake Lermontov is false then it is dicotyledonous. sent3: something is asynchronous thing that is a USN. sent4: the fact that something does not flood or it is a kind of a fug or both is incorrect if it is dicotyledonous. sent5: the pentose is not a persimmon. sent6: the Chichewa does not wake Lermontov if the fact that something is not asynchronous is not wrong. sent7: if the pentose is not dicotyledonous then the fact that it is asynchronous and it is a USN does not hold. sent8: the Chichewa does not wake Lermontov if there exists something such that the fact that it is asynchronous a USN is not correct. sent9: if the Chichewa does not wake Lermontov then the toecap is not excitable. sent10: the fact that the pentose is not dicotyledonous is correct. sent11: the text is a persimmon if the fact that the toecap does not wake Lermontov or is excitable or both is not right. sent12: that the toecap does not wake Haber hold. sent13: the pentose does not wake quaff. sent14: everything is not excitable. sent15: if the fact that the toecap is not asynchronous and/or wakes Lermontov does not hold the Chichewa is a kind of a USN. sent16: the toecap is unexcitable. sent17: the tonic is not dicotyledonous.
sent7 & sent10 -> int1: that the pentose is asynchronous and it is a USN does not hold.; int1 -> int2: there is something such that the fact that it is not non-asynchronous and it is a USN does not hold.; int2 & sent8 -> int3: the Chichewa does not wake Lermontov.;
the fact that the tonic does not flood and/or it is a fug is not correct.
sent14 -> int4: the Chichewa is not excitable.; sent2 -> int5: the pentose is dicotyledonous if that it is not a kind of a persimmon and it wakes Lermontov does not hold.; sent4 -> int6: if the pentose is dicotyledonous then the fact that it is not a flood and/or it is a kind of a fug is false.;
$hypothesis$ = something is a persimmon. ; $context$ = sent1: there is something such that the fact that it wakes Lermontov and it is excitable does not hold. sent2: if the fact that something is not a persimmon and does wake Lermontov is false then it is dicotyledonous. sent3: something is asynchronous thing that is a USN. sent4: the fact that something does not flood or it is a kind of a fug or both is incorrect if it is dicotyledonous. sent5: the pentose is not a persimmon. sent6: the Chichewa does not wake Lermontov if the fact that something is not asynchronous is not wrong. sent7: if the pentose is not dicotyledonous then the fact that it is asynchronous and it is a USN does not hold. sent8: the Chichewa does not wake Lermontov if there exists something such that the fact that it is asynchronous a USN is not correct. sent9: if the Chichewa does not wake Lermontov then the toecap is not excitable. sent10: the fact that the pentose is not dicotyledonous is correct. sent11: the text is a persimmon if the fact that the toecap does not wake Lermontov or is excitable or both is not right. sent12: that the toecap does not wake Haber hold. sent13: the pentose does not wake quaff. sent14: everything is not excitable. sent15: if the fact that the toecap is not asynchronous and/or wakes Lermontov does not hold the Chichewa is a kind of a USN. sent16: the toecap is unexcitable. sent17: the tonic is not dicotyledonous. ; $proof$ = 
sent7 & sent10 -> int1: that the pentose is asynchronous and it is a USN does not hold.; int1 -> int2: there is something such that the fact that it is not non-asynchronous and it is a USN does not hold.; int2 & sent8 -> int3: the Chichewa does not wake Lermontov.; __UNKNOWN__