the cornmeal does not unbutton.
sent1: something is a IDP if the fact that it is a Silurian and it is not a MIT is incorrect. sent2: if something is a kind of a MIT it is a crier. sent3: something does not unbutton if it is not a tubule. sent4: if the circumference does sadden it is a IDP. sent5: the Pentecostal is metamorphic. sent6: if the fact that the circumference is a kind of a IDP is true then the cornmeal is not a kind of a tubule. sent7: the bakery is a groundwork. sent8: if there is something such that that it is non-main thing that does not stifle LISP is not correct then the Pentecostal does not sadden. sent9: the circumference is a kind of a crier if the fact that it is nonmetamorphic and it is not fungoid is incorrect. sent10: there exists something such that the fact that it is main and it does not stifle LISP is not right. sent11: the fact that the circumference unbuttons and is not a tubule does not hold if that it is nonmetamorphic is not correct. sent12: if the circumference is a MIT then it is not a kind of a Cezanne and it is not a crier. sent13: there is something such that that it is non-main thing that does not stifle LISP is wrong. sent14: that that the bakery is a MIT and it is metamorphic is not incorrect is wrong if it is a kind of a Cezanne. sent15: if the bakery is a Cezanne the Pentecostal saddens. sent16: something renders lights-out if it is hadal. sent17: if the circumference is a crier the fact that it is both a Silurian and not a MIT does not hold. sent18: if the circumference is not a Cezanne then the cornmeal does unbutton and it does sadden.
void -> assump1: Let's assume that that the circumference is non-metamorphic thing that is non-fungoid is correct.; sent13 & sent8 -> int1: the Pentecostal does not sadden.; sent1 -> int2: the circumference is a IDP if that it is a Silurian and it is not a MIT is wrong.; sent3 -> int3: the fact that the cornmeal does not unbutton is right if it is not a tubule.;
the cornmeal does unbutton.
$hypothesis$ = the cornmeal does not unbutton. ; $context$ = sent1: something is a IDP if the fact that it is a Silurian and it is not a MIT is incorrect. sent2: if something is a kind of a MIT it is a crier. sent3: something does not unbutton if it is not a tubule. sent4: if the circumference does sadden it is a IDP. sent5: the Pentecostal is metamorphic. sent6: if the fact that the circumference is a kind of a IDP is true then the cornmeal is not a kind of a tubule. sent7: the bakery is a groundwork. sent8: if there is something such that that it is non-main thing that does not stifle LISP is not correct then the Pentecostal does not sadden. sent9: the circumference is a kind of a crier if the fact that it is nonmetamorphic and it is not fungoid is incorrect. sent10: there exists something such that the fact that it is main and it does not stifle LISP is not right. sent11: the fact that the circumference unbuttons and is not a tubule does not hold if that it is nonmetamorphic is not correct. sent12: if the circumference is a MIT then it is not a kind of a Cezanne and it is not a crier. sent13: there is something such that that it is non-main thing that does not stifle LISP is wrong. sent14: that that the bakery is a MIT and it is metamorphic is not incorrect is wrong if it is a kind of a Cezanne. sent15: if the bakery is a Cezanne the Pentecostal saddens. sent16: something renders lights-out if it is hadal. sent17: if the circumference is a crier the fact that it is both a Silurian and not a MIT does not hold. sent18: if the circumference is not a Cezanne then the cornmeal does unbutton and it does sadden. ; $proof$ = 
void -> assump1: Let's assume that that the circumference is non-metamorphic thing that is non-fungoid is correct.; sent13 & sent8 -> int1: the Pentecostal does not sadden.; sent1 -> int2: the circumference is a IDP if that it is a Silurian and it is not a MIT is wrong.; sent3 -> int3: the fact that the cornmeal does not unbutton is right if it is not a tubule.; __UNKNOWN__