if the meperidine is not rimless that the plumbago bundles palaver and it is a coelostat is false.
sent1: the tetrasaccharide is not a coelostat. sent2: the plumbago does bundle palaver and is a coelostat if the meperidine is rimmed. sent3: the ctenophore is a agronomy but it is not a temple. sent4: if something is not a superhet and is not a cadaster it does not bundle palaver. sent5: the fact that that the plumbago bundles palaver and is a coelostat is incorrect is not incorrect if the policewoman is not a kind of a agronomy. sent6: the plumbago does not covet. sent7: that the policewoman does not besot inwardness hold. sent8: something does not covet. sent9: the tetrasaccharide is basilican. sent10: if the meperidine is rimless the tetrasaccharide is a kind of basilican thing that does not covet. sent11: if the plumbago is not a coelostat then the fact that the tetrasaccharide is a kind of basilican thing that is rimless is false. sent12: the tetrasaccharide is basilican if the meperidine is not rimless. sent13: if the meperidine is rimless then that the plumbago bundles palaver and is a kind of a coelostat is incorrect. sent14: there is something such that it is basilican. sent15: if the fact that the tetrasaccharide does lysogenize gambler is true then it is not a superhet and it is not a cadaster. sent16: something is basilican and it covets. sent17: if the meperidine is not rimless the tetrasaccharide is basilican and does not covet.
void -> assump1: Let's assume that the meperidine is not rimless.; sent17 & assump1 -> int1: the tetrasaccharide is basilican but it does not covet.; int1 -> int2: there is something such that it is basilican and it does not covet.;
the policewoman is not a coelostat.
sent4 -> int3: the tetrasaccharide does not bundle palaver if it is not a superhet and it is not a cadaster.;
$hypothesis$ = if the meperidine is not rimless that the plumbago bundles palaver and it is a coelostat is false. ; $context$ = sent1: the tetrasaccharide is not a coelostat. sent2: the plumbago does bundle palaver and is a coelostat if the meperidine is rimmed. sent3: the ctenophore is a agronomy but it is not a temple. sent4: if something is not a superhet and is not a cadaster it does not bundle palaver. sent5: the fact that that the plumbago bundles palaver and is a coelostat is incorrect is not incorrect if the policewoman is not a kind of a agronomy. sent6: the plumbago does not covet. sent7: that the policewoman does not besot inwardness hold. sent8: something does not covet. sent9: the tetrasaccharide is basilican. sent10: if the meperidine is rimless the tetrasaccharide is a kind of basilican thing that does not covet. sent11: if the plumbago is not a coelostat then the fact that the tetrasaccharide is a kind of basilican thing that is rimless is false. sent12: the tetrasaccharide is basilican if the meperidine is not rimless. sent13: if the meperidine is rimless then that the plumbago bundles palaver and is a kind of a coelostat is incorrect. sent14: there is something such that it is basilican. sent15: if the fact that the tetrasaccharide does lysogenize gambler is true then it is not a superhet and it is not a cadaster. sent16: something is basilican and it covets. sent17: if the meperidine is not rimless the tetrasaccharide is basilican and does not covet. ; $proof$ = 
void -> assump1: Let's assume that the meperidine is not rimless.; sent17 & assump1 -> int1: the tetrasaccharide is basilican but it does not covet.; int1 -> int2: there is something such that it is basilican and it does not covet.; __UNKNOWN__