the cholinesterase is not an electroplate.
sent1: the idesia is an aphid if that the infusorian is not an aphid and is not a cangue does not hold. sent2: something is not angular and is supervisory if it does not bubble retraction. sent3: if the Galilean is unworthy it is a well. sent4: the cholinesterase is supervisory thing that is angular. sent5: if the Galilean is both backward and unshod the cooling is not unshod. sent6: the pond-skater spiels botulism and it spiels deathrate. sent7: an angular thing does electroplate. sent8: something is backward thing that is unshod if it is not a kind of a defectiveness. sent9: the fact that the infusorian is not a kind of an aphid and it is not a cangue is false if the pond-skater spiels botulism. sent10: if something does well then it is backward. sent11: the cholinesterase is a Brama if it is aerolitic. sent12: the fact that the cooling is both not unshod and not a defectiveness is not true if the Galilean is backward. sent13: the Galilean is unworthy. sent14: if the fact that the cholinesterase does stuff hold then that it unwraps tapering is not false. sent15: the Galilean is not a defectiveness if there is something such that the fact that it is both not unworthy and not well is not right. sent16: if the cooling is not unshod then the toiletry does not bubble retraction and it is not angular. sent17: the fact that something is not unworthy and it does not well is wrong if it is an aphid. sent18: that the magnetograph is an electroplate is not false if that the cholinesterase is supervisory is right. sent19: the cholinesterase is a levirate. sent20: something that does electroplate is supervisory. sent21: the cholinesterase is supervisory.
sent4 -> int1: the cholinesterase is angular.; sent7 -> int2: if the cholinesterase is angular it is an electroplate.; int1 & int2 -> hypothesis;
the cholinesterase is not a kind of an electroplate.
sent2 -> int3: if the toiletry does not bubble retraction it is non-angular thing that is supervisory.; sent10 -> int4: if the Galilean is well then it is backward.; sent3 & sent13 -> int5: the Galilean does well.; int4 & int5 -> int6: the Galilean is backward.; sent12 & int6 -> int7: the fact that the cooling is not unshod and it is not a defectiveness is wrong.; int7 -> int8: there exists something such that the fact that it is not unshod and is not a defectiveness is incorrect.;
$hypothesis$ = the cholinesterase is not an electroplate. ; $context$ = sent1: the idesia is an aphid if that the infusorian is not an aphid and is not a cangue does not hold. sent2: something is not angular and is supervisory if it does not bubble retraction. sent3: if the Galilean is unworthy it is a well. sent4: the cholinesterase is supervisory thing that is angular. sent5: if the Galilean is both backward and unshod the cooling is not unshod. sent6: the pond-skater spiels botulism and it spiels deathrate. sent7: an angular thing does electroplate. sent8: something is backward thing that is unshod if it is not a kind of a defectiveness. sent9: the fact that the infusorian is not a kind of an aphid and it is not a cangue is false if the pond-skater spiels botulism. sent10: if something does well then it is backward. sent11: the cholinesterase is a Brama if it is aerolitic. sent12: the fact that the cooling is both not unshod and not a defectiveness is not true if the Galilean is backward. sent13: the Galilean is unworthy. sent14: if the fact that the cholinesterase does stuff hold then that it unwraps tapering is not false. sent15: the Galilean is not a defectiveness if there is something such that the fact that it is both not unworthy and not well is not right. sent16: if the cooling is not unshod then the toiletry does not bubble retraction and it is not angular. sent17: the fact that something is not unworthy and it does not well is wrong if it is an aphid. sent18: that the magnetograph is an electroplate is not false if that the cholinesterase is supervisory is right. sent19: the cholinesterase is a levirate. sent20: something that does electroplate is supervisory. sent21: the cholinesterase is supervisory. ; $proof$ = 
sent4 -> int1: the cholinesterase is angular.; sent7 -> int2: if the cholinesterase is angular it is an electroplate.; int1 & int2 -> hypothesis; __DISPROVED__