the witness chips.
sent1: there exists something such that that it is a wolverine and understands is not true. sent2: the mannitol is not a gnetum if it is a wolverine. sent3: the mannitol is not a gnetum if the fact that it is a kind of a wolverine and/or does guess virologist is not wrong. sent4: if something does not guess virologist then that it is causative thing that understands is wrong. sent5: the Manichaean is not a dunk. sent6: if the fact that the mannitol does guess virologist but it is not causative is wrong the tadpole is a kind of a wolverine. sent7: that the witness is a chip is not false if something is not a evaporite. sent8: the tadpole is not collagenous. sent9: the tadpole does not understand. sent10: that something is a callosity and a evaporite is incorrect if it is not a kind of a gnetum. sent11: if that the tadpole is causative and does not understand is wrong the mannitol guesses virologist. sent12: the Manichaean is a dunk if the tadpole is not noncausative and does not understand. sent13: if the tadpole understands the mannitol guesses virologist. sent14: that the tadpole is causative and it does understand is not true. sent15: if the tadpole is causative thing that understands the Manichaean dunks.
void -> assump1: Let's assume that the tadpole is causative but it does not understand.; sent12 & assump1 -> int1: the Manichaean is a dunk.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the tadpole is causative thing that does not understand does not hold.; int3 & sent11 -> int4: the mannitol does guess virologist.; int4 -> int5: either the mannitol is a wolverine or it does guess virologist or both.; int5 & sent3 -> int6: the mannitol is not a gnetum.; sent10 -> int7: if the mannitol is not a gnetum that it is a callosity and it is a evaporite is wrong.; int6 & int7 -> int8: that the mannitol is a callosity and it is a evaporite is not correct.; int8 -> int9: there is something such that that it is a callosity and is a kind of a evaporite is not correct.;
$hypothesis$ = the witness chips. ; $context$ = sent1: there exists something such that that it is a wolverine and understands is not true. sent2: the mannitol is not a gnetum if it is a wolverine. sent3: the mannitol is not a gnetum if the fact that it is a kind of a wolverine and/or does guess virologist is not wrong. sent4: if something does not guess virologist then that it is causative thing that understands is wrong. sent5: the Manichaean is not a dunk. sent6: if the fact that the mannitol does guess virologist but it is not causative is wrong the tadpole is a kind of a wolverine. sent7: that the witness is a chip is not false if something is not a evaporite. sent8: the tadpole is not collagenous. sent9: the tadpole does not understand. sent10: that something is a callosity and a evaporite is incorrect if it is not a kind of a gnetum. sent11: if that the tadpole is causative and does not understand is wrong the mannitol guesses virologist. sent12: the Manichaean is a dunk if the tadpole is not noncausative and does not understand. sent13: if the tadpole understands the mannitol guesses virologist. sent14: that the tadpole is causative and it does understand is not true. sent15: if the tadpole is causative thing that understands the Manichaean dunks. ; $proof$ = 
void -> assump1: Let's assume that the tadpole is causative but it does not understand.; sent12 & assump1 -> int1: the Manichaean is a dunk.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the tadpole is causative thing that does not understand does not hold.; int3 & sent11 -> int4: the mannitol does guess virologist.; int4 -> int5: either the mannitol is a wolverine or it does guess virologist or both.; int5 & sent3 -> int6: the mannitol is not a gnetum.; sent10 -> int7: if the mannitol is not a gnetum that it is a callosity and it is a evaporite is wrong.; int6 & int7 -> int8: that the mannitol is a callosity and it is a evaporite is not correct.; int8 -> int9: there is something such that that it is a callosity and is a kind of a evaporite is not correct.; __UNKNOWN__