the hepatotoxin is not a casement.
sent1: the creature is a bedsore if something that is a kind of a varnish is a casement. sent2: that the 4WD does not solidify or it does not incorporate eye-lotion or both is not true if the niobium is a kind of a varnish. sent3: the creature is not a kind of a bedsore if that that the niobium does not incorporate eye-lotion or it is not a kind of a bedsore or both is not right is correct. sent4: the niobium is a casement if the hepatotoxin does incorporate eye-lotion. sent5: the fact that the 4WD is the dobbin if the 4WD does solidify is true. sent6: the 4WD solidifies. sent7: that either the niobium does not incorporate eye-lotion or it is not a bedsore or both is false if the 4WD is a kind of a dobbin. sent8: the 4WD is not a kind of a varnish if that the hepatotoxin is not a dobbin and/or is a varnish is not correct.
void -> assump1: Let's assume that the hepatotoxin is a casement.; sent5 & sent6 -> int1: the 4WD is a dobbin.; sent7 & int1 -> int2: that the niobium either does not incorporate eye-lotion or is not a bedsore or both is incorrect.; sent3 & int2 -> int3: the creature is not a bedsore.;
$hypothesis$ = the hepatotoxin is not a casement. ; $context$ = sent1: the creature is a bedsore if something that is a kind of a varnish is a casement. sent2: that the 4WD does not solidify or it does not incorporate eye-lotion or both is not true if the niobium is a kind of a varnish. sent3: the creature is not a kind of a bedsore if that that the niobium does not incorporate eye-lotion or it is not a kind of a bedsore or both is not right is correct. sent4: the niobium is a casement if the hepatotoxin does incorporate eye-lotion. sent5: the fact that the 4WD is the dobbin if the 4WD does solidify is true. sent6: the 4WD solidifies. sent7: that either the niobium does not incorporate eye-lotion or it is not a bedsore or both is false if the 4WD is a kind of a dobbin. sent8: the 4WD is not a kind of a varnish if that the hepatotoxin is not a dobbin and/or is a varnish is not correct. ; $proof$ = 
void -> assump1: Let's assume that the hepatotoxin is a casement.; sent5 & sent6 -> int1: the 4WD is a dobbin.; sent7 & int1 -> int2: that the niobium either does not incorporate eye-lotion or is not a bedsore or both is incorrect.; sent3 & int2 -> int3: the creature is not a bedsore.; __UNKNOWN__