there is something such that it is impressive.
sent1: something is a kind of a Odo but it is not Avestan. sent2: the Nasturtium does not roughen hydrometry. sent3: there exists something such that it is not a lady-of-the-night. sent4: there is something such that it does roughen proconvertin. sent5: the arctiid is a kind of a foaming if there exists something such that the fact that it is a wood-rat is not false. sent6: if the prebendary is a kind of a lady-of-the-night and does roughen proconvertin then the piste does not skid applique. sent7: the applique is an accountancy if something is a kind of a Muslim but it is not a kind of a lady-of-the-night. sent8: the prebendary is a Muslim. sent9: if there exists something such that it does not roughen proconvertin then the piste is Muslim and is not a lady-of-the-night. sent10: something is a kind of a Muslim. sent11: The proconvertin does not roughen prebendary. sent12: there is something such that it is Muslim thing that is a kind of a lady-of-the-night. sent13: something is not a wood-rat but it skids applique. sent14: the fact that the croquette is a foaming and it is a wood-rat does not hold. sent15: the prebendary does not roughen proconvertin. sent16: the piste is not unacceptable. sent17: the piste is a kind of a Muslim. sent18: that the croquette is not a wood-rat but it skids applique does not hold. sent19: there exists something such that that it is a wood-rat and it skids applique is incorrect. sent20: that the arctiid is not nonslippery but it is a kind of a foaming does not hold. sent21: if the Nasturtium is nonslippery and unimpressive the applique is not an accountancy. sent22: if the arctiid is a foaming then the Nasturtium is nonslippery. sent23: there is something such that it is not Teutonic. sent24: the piste is a Muslim if something does not roughen proconvertin. sent25: the piste roughens hydrometry. sent26: that the applique skids applique is right.
sent18 -> int1: there exists something such that the fact that it is not a kind of a wood-rat and does skid applique is incorrect.; void -> assump1: Let's assume that the fact that the Nasturtium is unimpressive is not false.; sent15 -> int2: there is something such that it does not roughen proconvertin.; int2 & sent9 -> int3: the fact that the piste is a kind of a Muslim but it is not a lady-of-the-night hold.; int3 -> int4: something is a kind of a Muslim that is not a kind of a lady-of-the-night.; int4 & sent7 -> int5: the applique is a kind of an accountancy.;
$hypothesis$ = there is something such that it is impressive. ; $context$ = sent1: something is a kind of a Odo but it is not Avestan. sent2: the Nasturtium does not roughen hydrometry. sent3: there exists something such that it is not a lady-of-the-night. sent4: there is something such that it does roughen proconvertin. sent5: the arctiid is a kind of a foaming if there exists something such that the fact that it is a wood-rat is not false. sent6: if the prebendary is a kind of a lady-of-the-night and does roughen proconvertin then the piste does not skid applique. sent7: the applique is an accountancy if something is a kind of a Muslim but it is not a kind of a lady-of-the-night. sent8: the prebendary is a Muslim. sent9: if there exists something such that it does not roughen proconvertin then the piste is Muslim and is not a lady-of-the-night. sent10: something is a kind of a Muslim. sent11: The proconvertin does not roughen prebendary. sent12: there is something such that it is Muslim thing that is a kind of a lady-of-the-night. sent13: something is not a wood-rat but it skids applique. sent14: the fact that the croquette is a foaming and it is a wood-rat does not hold. sent15: the prebendary does not roughen proconvertin. sent16: the piste is not unacceptable. sent17: the piste is a kind of a Muslim. sent18: that the croquette is not a wood-rat but it skids applique does not hold. sent19: there exists something such that that it is a wood-rat and it skids applique is incorrect. sent20: that the arctiid is not nonslippery but it is a kind of a foaming does not hold. sent21: if the Nasturtium is nonslippery and unimpressive the applique is not an accountancy. sent22: if the arctiid is a foaming then the Nasturtium is nonslippery. sent23: there is something such that it is not Teutonic. sent24: the piste is a Muslim if something does not roughen proconvertin. sent25: the piste roughens hydrometry. sent26: that the applique skids applique is right. ; $proof$ = 
sent18 -> int1: there exists something such that the fact that it is not a kind of a wood-rat and does skid applique is incorrect.; void -> assump1: Let's assume that the fact that the Nasturtium is unimpressive is not false.; sent15 -> int2: there is something such that it does not roughen proconvertin.; int2 & sent9 -> int3: the fact that the piste is a kind of a Muslim but it is not a lady-of-the-night hold.; int3 -> int4: something is a kind of a Muslim that is not a kind of a lady-of-the-night.; int4 & sent7 -> int5: the applique is a kind of an accountancy.; __UNKNOWN__