the tetrasaccharide is unidimensional.
sent1: the font is unidimensional and it is a kind of a Creole. sent2: the mouser is endermic. sent3: the mouser causes vermiculation and it does palpitate. sent4: if the tetrasaccharide is a temporizer the mouser nests ICC. sent5: if the mouser does nest ICC then the tetrasaccharide is a temporizer. sent6: if something is not a stewing that it nests ICC and is a kind of a temporizer is not right. sent7: the ironwork is a temporizer. sent8: the fructose is a kind of a temporizer. sent9: the mouser is not unstatesmanlike. sent10: the extrovert is unidimensional. sent11: the tetrasaccharide is a kind of a temporizer. sent12: the minimalist is unidimensional. sent13: the mouser nests ICC. sent14: the inamorata does nest ICC. sent15: the tetrasaccharide is unidimensional if the mouser is a kind of a temporizer. sent16: the tetrasaccharide does nest ICC. sent17: if the mouser is unidimensional then the tetrasaccharide is a temporizer. sent18: if the fact that something does nest ICC and is a kind of a temporizer is not correct then it is not unidimensional.
that the tetrasaccharide is not unidimensional is not wrong.
sent18 -> int1: the tetrasaccharide is not unidimensional if the fact that it nests ICC and is a temporizer is false.; sent6 -> int2: if the mouser is not a kind of a stewing then that it does nest ICC and it is a kind of a temporizer is wrong.;
$hypothesis$ = the tetrasaccharide is unidimensional. ; $context$ = sent1: the font is unidimensional and it is a kind of a Creole. sent2: the mouser is endermic. sent3: the mouser causes vermiculation and it does palpitate. sent4: if the tetrasaccharide is a temporizer the mouser nests ICC. sent5: if the mouser does nest ICC then the tetrasaccharide is a temporizer. sent6: if something is not a stewing that it nests ICC and is a kind of a temporizer is not right. sent7: the ironwork is a temporizer. sent8: the fructose is a kind of a temporizer. sent9: the mouser is not unstatesmanlike. sent10: the extrovert is unidimensional. sent11: the tetrasaccharide is a kind of a temporizer. sent12: the minimalist is unidimensional. sent13: the mouser nests ICC. sent14: the inamorata does nest ICC. sent15: the tetrasaccharide is unidimensional if the mouser is a kind of a temporizer. sent16: the tetrasaccharide does nest ICC. sent17: if the mouser is unidimensional then the tetrasaccharide is a temporizer. sent18: if the fact that something does nest ICC and is a kind of a temporizer is not correct then it is not unidimensional. ; $proof$ = 
__UNKNOWN__