the kummel is not carcinogenic.
sent1: that the geek does not general and is acarpelous is false. sent2: the fact that the kummel is a kind of imprecise thing that is a kind of a tri-chad is not true. sent3: the fact that the stillroom does chance hectogram hold. sent4: if the kummel is not precise it is not a disambiguator and is not carcinogenic. sent5: the stillroom is not hydroxy and it is not a kind of a disambiguator. sent6: if that something is not carcinogenic and it is not a disambiguator is incorrect it is not a tri-chad. sent7: if the kummel is a kind of a gooseberry then it is not a disambiguator. sent8: the stillroom is a gooseberry if it is a tri-chad. sent9: if something is not imprecise then it is not a disambiguator. sent10: that the kummel is both not a tri-chad and a disambiguator does not hold. sent11: that the stillroom does not incriminate kummel and is hydroxy is incorrect. sent12: something is not a kind of a gooseberry if that it does not incriminate kummel and is not hydroxy is not right. sent13: the stillroom is a tri-chad. sent14: the kummel is not a disambiguator if it is not precise. sent15: the stillroom is not a disambiguator.
void -> assump1: Let's assume that the kummel is precise.; sent12 -> int1: if the fact that the stillroom does not incriminate kummel and it is not hydroxy does not hold then it is not a kind of a gooseberry.; sent8 & sent13 -> int2: the stillroom is a gooseberry.;
$hypothesis$ = the kummel is not carcinogenic. ; $context$ = sent1: that the geek does not general and is acarpelous is false. sent2: the fact that the kummel is a kind of imprecise thing that is a kind of a tri-chad is not true. sent3: the fact that the stillroom does chance hectogram hold. sent4: if the kummel is not precise it is not a disambiguator and is not carcinogenic. sent5: the stillroom is not hydroxy and it is not a kind of a disambiguator. sent6: if that something is not carcinogenic and it is not a disambiguator is incorrect it is not a tri-chad. sent7: if the kummel is a kind of a gooseberry then it is not a disambiguator. sent8: the stillroom is a gooseberry if it is a tri-chad. sent9: if something is not imprecise then it is not a disambiguator. sent10: that the kummel is both not a tri-chad and a disambiguator does not hold. sent11: that the stillroom does not incriminate kummel and is hydroxy is incorrect. sent12: something is not a kind of a gooseberry if that it does not incriminate kummel and is not hydroxy is not right. sent13: the stillroom is a tri-chad. sent14: the kummel is not a disambiguator if it is not precise. sent15: the stillroom is not a disambiguator. ; $proof$ = 
void -> assump1: Let's assume that the kummel is precise.; sent12 -> int1: if the fact that the stillroom does not incriminate kummel and it is not hydroxy does not hold then it is not a kind of a gooseberry.; sent8 & sent13 -> int2: the stillroom is a gooseberry.; __UNKNOWN__