the glucagon is a kind of a Appalachians and is demotic.
sent1: if the cruet-stand is autocatalytic then it untunes. sent2: the fact that the glucagon does untune if the cruet-stand untune is not false. sent3: if something does untune then it is demotic. sent4: the fact that the briefs includes griddle but it does not restart briefs does not hold. sent5: the fact that the glucagon is Appalachians and not autocatalytic does not hold. sent6: the fact that that the briefs includes griddle and does restart briefs is right is not correct. sent7: the cruet-stand is not a kind of a Fula. sent8: if something is not icterogenic but it lands then the glucagon is a kind of a Appalachians. sent9: the briefs is both not non-demotic and not non-epicyclic. sent10: if the briefs is not autocatalytic the eyepatch is not icterogenic but it does land. sent11: the briefs is not icterogenic if the fact that the eyepatch is both not autocatalytic and not a land is wrong. sent12: the eyepatch is a land. sent13: the cruet-stand is a bend that does untune if it is not a Fula. sent14: that the cruet-stand is a kind of a bend is true.
sent3 -> int1: the glucagon is demotic if it does untune.; sent13 & sent7 -> int2: the cruet-stand bends and does untune.; int2 -> int3: the cruet-stand untunes.; sent2 & int3 -> int4: the glucagon untunes.; int1 & int4 -> int5: the fact that the glucagon is demotic is not wrong.;
that the glucagon is a Appalachians and demotic does not hold.
$hypothesis$ = the glucagon is a kind of a Appalachians and is demotic. ; $context$ = sent1: if the cruet-stand is autocatalytic then it untunes. sent2: the fact that the glucagon does untune if the cruet-stand untune is not false. sent3: if something does untune then it is demotic. sent4: the fact that the briefs includes griddle but it does not restart briefs does not hold. sent5: the fact that the glucagon is Appalachians and not autocatalytic does not hold. sent6: the fact that that the briefs includes griddle and does restart briefs is right is not correct. sent7: the cruet-stand is not a kind of a Fula. sent8: if something is not icterogenic but it lands then the glucagon is a kind of a Appalachians. sent9: the briefs is both not non-demotic and not non-epicyclic. sent10: if the briefs is not autocatalytic the eyepatch is not icterogenic but it does land. sent11: the briefs is not icterogenic if the fact that the eyepatch is both not autocatalytic and not a land is wrong. sent12: the eyepatch is a land. sent13: the cruet-stand is a bend that does untune if it is not a Fula. sent14: that the cruet-stand is a kind of a bend is true. ; $proof$ = 
sent3 -> int1: the glucagon is demotic if it does untune.; sent13 & sent7 -> int2: the cruet-stand bends and does untune.; int2 -> int3: the cruet-stand untunes.; sent2 & int3 -> int4: the glucagon untunes.; int1 & int4 -> int5: the fact that the glucagon is demotic is not wrong.; __UNKNOWN__