the cholinesterase is non-electrochemical.
sent1: the sockeye does gather Enterolobium if it does suborn partiality and it is not uric. sent2: if that the gopher does not gather Enterolobium but it is a kind of a Burundian does not hold the cholinesterase is electrochemical. sent3: that the gopher gathers Enterolobium and it is a Burundian is not right. sent4: if the sockeye does gather Enterolobium then that the gopher does not gather Enterolobium but it is a kind of a Burundian does not hold. sent5: that that the gopher does gather Enterolobium and it is a Burundian is not wrong is wrong if the sockeye does gather Enterolobium. sent6: that the sockeye does gather Enterolobium is not false if it does not suborn partiality and is not uric. sent7: if something is a pyromancer then it is a Burundian. sent8: the quaker is not unalike and is not a kind of a Burundian. sent9: if the sockeye is electrochemical that the cholinesterase is not electrochemical is not incorrect. sent10: the sockeye does not suborn partiality. sent11: the sockeye does not suborn partiality and it is not uric. sent12: there is something such that it is a kind of an internationalism. sent13: if the gopher gathers Enterolobium the cholinesterase is electrochemical.
sent6 & sent11 -> int1: the sockeye does gather Enterolobium.; sent4 & int1 -> int2: that the gopher does not gather Enterolobium and is a kind of a Burundian is false.; sent2 & int2 -> hypothesis;
the cholinesterase is not electrochemical.
sent7 -> int3: if the gopher is a pyromancer then that it is a kind of a Burundian is true.;
$hypothesis$ = the cholinesterase is non-electrochemical. ; $context$ = sent1: the sockeye does gather Enterolobium if it does suborn partiality and it is not uric. sent2: if that the gopher does not gather Enterolobium but it is a kind of a Burundian does not hold the cholinesterase is electrochemical. sent3: that the gopher gathers Enterolobium and it is a Burundian is not right. sent4: if the sockeye does gather Enterolobium then that the gopher does not gather Enterolobium but it is a kind of a Burundian does not hold. sent5: that that the gopher does gather Enterolobium and it is a Burundian is not wrong is wrong if the sockeye does gather Enterolobium. sent6: that the sockeye does gather Enterolobium is not false if it does not suborn partiality and is not uric. sent7: if something is a pyromancer then it is a Burundian. sent8: the quaker is not unalike and is not a kind of a Burundian. sent9: if the sockeye is electrochemical that the cholinesterase is not electrochemical is not incorrect. sent10: the sockeye does not suborn partiality. sent11: the sockeye does not suborn partiality and it is not uric. sent12: there is something such that it is a kind of an internationalism. sent13: if the gopher gathers Enterolobium the cholinesterase is electrochemical. ; $proof$ = 
sent6 & sent11 -> int1: the sockeye does gather Enterolobium.; sent4 & int1 -> int2: that the gopher does not gather Enterolobium and is a kind of a Burundian is false.; sent2 & int2 -> hypothesis; __DISPROVED__