the sip is Donnean.
sent1: the voyeur is not modest. sent2: something is a bellow but it is not Donnean. sent3: the sip is a kind of a bellow if there is something such that the fact that it is both not a bellow and not an intellectual is wrong. sent4: that the voyeur is a kind of a thermion is not false. sent5: the fathead is Donnean. sent6: the voyeur is an intellectual if there is something such that that it does wrinkle and is not modest is incorrect. sent7: the sip does wrinkle. sent8: something does not bellow but it is a thermion if it is not a kind of a embolectomy. sent9: if something is not a bellow then that the voyeur is both intellectual and Donnean is not true. sent10: if something is not a thermion that it is both not a bellow and not an intellectual is wrong. sent11: the fact that the sip is Donnean is true if something is not nonintellectual and it is a kind of a thermion. sent12: something is not a kind of a thermion if it is Donnean. sent13: if something is not a thermion then that that it is modest but not Donnean hold is not true. sent14: there exists something such that the fact that it does wrinkle and it is modest is false. sent15: if the fact that something is not a kind of a bellow is correct then that that it is a wrinkle that is not modest hold is wrong.
sent15 -> int1: if the lox is not a bellow the fact that the fact that it is a wrinkle and it is not modest hold is wrong.;
there is something such that the fact that it is a upbraider and not Alpine does not hold.
sent10 -> int2: the fact that the fathead is not a bellow and it is not an intellectual is incorrect if it is not a thermion.; sent12 -> int3: if the fathead is Donnean then it is not a kind of a thermion.; int3 & sent5 -> int4: the fathead is not a thermion.; int2 & int4 -> int5: that the fathead is not a bellow and not an intellectual is not true.; int5 -> int6: there exists something such that that it is not a kind of a bellow and is not an intellectual does not hold.; int6 & sent3 -> int7: the sip bellows.; int7 -> int8: there is something such that it is a bellow.;
$hypothesis$ = the sip is Donnean. ; $context$ = sent1: the voyeur is not modest. sent2: something is a bellow but it is not Donnean. sent3: the sip is a kind of a bellow if there is something such that the fact that it is both not a bellow and not an intellectual is wrong. sent4: that the voyeur is a kind of a thermion is not false. sent5: the fathead is Donnean. sent6: the voyeur is an intellectual if there is something such that that it does wrinkle and is not modest is incorrect. sent7: the sip does wrinkle. sent8: something does not bellow but it is a thermion if it is not a kind of a embolectomy. sent9: if something is not a bellow then that the voyeur is both intellectual and Donnean is not true. sent10: if something is not a thermion that it is both not a bellow and not an intellectual is wrong. sent11: the fact that the sip is Donnean is true if something is not nonintellectual and it is a kind of a thermion. sent12: something is not a kind of a thermion if it is Donnean. sent13: if something is not a thermion then that that it is modest but not Donnean hold is not true. sent14: there exists something such that the fact that it does wrinkle and it is modest is false. sent15: if the fact that something is not a kind of a bellow is correct then that that it is a wrinkle that is not modest hold is wrong. ; $proof$ = 
sent15 -> int1: if the lox is not a bellow the fact that the fact that it is a wrinkle and it is not modest hold is wrong.; __UNKNOWN__