the corridor is deaf.
sent1: there is something such that the fact that it is etiological and it is a nephrology is wrong. sent2: the fact that the spearmint is not permissible hold if there is something such that that it is a kind of non-etiological thing that is a nephrology is not right. sent3: the spearmint is not permissible if there exists something such that it is not a nephrology. sent4: something is non-etiological a nephrology. sent5: the parts is a kind of ungenerous thing that hypnotizes corridor. sent6: the parts does hypnotize corridor. sent7: if something that hypnotizes corridor is ungenerous that it is not a kind of a deaf is true. sent8: the fact that the magpie is circulatory and it is etiological does not hold if it is not a pickle. sent9: if the spearmint is not permissible then the corridor is a deaf. sent10: if something is ungenerous that it is not labyrinthine is not wrong. sent11: the corridor hypnotizes corridor if the parts is labyrinthine. sent12: the magpie is not a pickle. sent13: the magpie is not circulatory if the parts is not labyrinthine.
sent5 -> int1: the parts is ungenerous.; sent10 -> int2: the parts is not labyrinthine if it is ungenerous.; int1 & int2 -> int3: the parts is not labyrinthine.; int3 & sent13 -> int4: the magpie is not circulatory.;
that the corridor is not a deaf is true.
sent7 -> int5: the corridor is not a kind of a deaf if it hypnotizes corridor and is ungenerous.; sent8 & sent12 -> int6: that the magpie is a kind of circulatory thing that is etiological is wrong.; int6 -> int7: there exists something such that the fact that it is circulatory and it is etiological is not right.;
$hypothesis$ = the corridor is deaf. ; $context$ = sent1: there is something such that the fact that it is etiological and it is a nephrology is wrong. sent2: the fact that the spearmint is not permissible hold if there is something such that that it is a kind of non-etiological thing that is a nephrology is not right. sent3: the spearmint is not permissible if there exists something such that it is not a nephrology. sent4: something is non-etiological a nephrology. sent5: the parts is a kind of ungenerous thing that hypnotizes corridor. sent6: the parts does hypnotize corridor. sent7: if something that hypnotizes corridor is ungenerous that it is not a kind of a deaf is true. sent8: the fact that the magpie is circulatory and it is etiological does not hold if it is not a pickle. sent9: if the spearmint is not permissible then the corridor is a deaf. sent10: if something is ungenerous that it is not labyrinthine is not wrong. sent11: the corridor hypnotizes corridor if the parts is labyrinthine. sent12: the magpie is not a pickle. sent13: the magpie is not circulatory if the parts is not labyrinthine. ; $proof$ = 
sent5 -> int1: the parts is ungenerous.; sent10 -> int2: the parts is not labyrinthine if it is ungenerous.; int1 & int2 -> int3: the parts is not labyrinthine.; int3 & sent13 -> int4: the magpie is not circulatory.; __UNKNOWN__