the cygnet is a kind of a mucin and it is a involution.
sent1: there exists something such that it does not wobble. sent2: the fact that the fact that the cygnet is neuroglial and it is a Cestum hold is incorrect. sent3: if something is neuroglial that it is a kind of a mucin is right. sent4: if there is something such that it is not a involution the fact that the cygnet is not neuroglial but it is a mucin does not hold. sent5: something is a mucin if the fact that it is not neuroglial and it is a Cestum is not true. sent6: there exists something such that that it is not a spicebush hold. sent7: there exists something such that it is a spicebush. sent8: if the fact that something is both not neuroglial and a Jinnah is not correct then it is not a kind of a Jinnah. sent9: the tellurian is not a skylight. sent10: the cygnet is a kind of a involution. sent11: the fact that if something is not a kind of a spicebush that the cygnet is neuroglial and it is a Cestum is not correct hold. sent12: the fact that if the tellurian does stage Moscow and is not a kind of the M1 the tellurian is not neuroglial is true. sent13: that if there exists something such that it is not a Luzon the fact that the cygnet is not a coriander and is a kind of a thwart does not hold is right. sent14: if the fact that the cygnet is neuroglial is right it is a mucin. sent15: something stages Moscow and is not a M1 if it is not a skylight. sent16: if something is not a spicebush that it is both a mucin and a involution is false.
sent5 -> int1: the cygnet is a mucin if the fact that it is not neuroglial and it is a Cestum is incorrect.;
there exists something such that it is not a Jinnah.
sent8 -> int2: if the fact that the cygnet is non-neuroglial but it is a kind of a Jinnah is wrong it is not a Jinnah.;
$hypothesis$ = the cygnet is a kind of a mucin and it is a involution. ; $context$ = sent1: there exists something such that it does not wobble. sent2: the fact that the fact that the cygnet is neuroglial and it is a Cestum hold is incorrect. sent3: if something is neuroglial that it is a kind of a mucin is right. sent4: if there is something such that it is not a involution the fact that the cygnet is not neuroglial but it is a mucin does not hold. sent5: something is a mucin if the fact that it is not neuroglial and it is a Cestum is not true. sent6: there exists something such that that it is not a spicebush hold. sent7: there exists something such that it is a spicebush. sent8: if the fact that something is both not neuroglial and a Jinnah is not correct then it is not a kind of a Jinnah. sent9: the tellurian is not a skylight. sent10: the cygnet is a kind of a involution. sent11: the fact that if something is not a kind of a spicebush that the cygnet is neuroglial and it is a Cestum is not correct hold. sent12: the fact that if the tellurian does stage Moscow and is not a kind of the M1 the tellurian is not neuroglial is true. sent13: that if there exists something such that it is not a Luzon the fact that the cygnet is not a coriander and is a kind of a thwart does not hold is right. sent14: if the fact that the cygnet is neuroglial is right it is a mucin. sent15: something stages Moscow and is not a M1 if it is not a skylight. sent16: if something is not a spicebush that it is both a mucin and a involution is false. ; $proof$ = 
sent5 -> int1: the cygnet is a mucin if the fact that it is not neuroglial and it is a Cestum is incorrect.; __UNKNOWN__