the blowfish is a dimethylglyoxime.
sent1: something is a kind of a waxflower if the fact that it is not a waxflower and is not an equivalence does not hold. sent2: if the blowfish copies racon it is a prognathism. sent3: the blowfish is a kind of a challis if it is a eider. sent4: something is a kind of a eider if it is a prognathism. sent5: the fact that the blowfish is both not a waxflower and not an equivalence is incorrect. sent6: That the racon does copy blowfish is right. sent7: that the blowfish does copy racon is right. sent8: something is not a kind of a dimethylglyoxime if it is a waxflower and it is a kind of a challis.
sent2 & sent7 -> int1: the blowfish is a kind of a prognathism.; sent4 -> int2: if the fact that the blowfish is a prognathism is true then it is a kind of a eider.; int1 & int2 -> int3: the blowfish is a kind of a eider.; int3 & sent3 -> int4: the blowfish is a kind of a challis.; sent1 -> int5: the blowfish is a waxflower if the fact that it is not a waxflower and not an equivalence is not right.; int5 & sent5 -> int6: the blowfish is a kind of a waxflower.; int4 & int6 -> int7: the blowfish is both a waxflower and a challis.; sent8 -> int8: if the blowfish is a waxflower and is a challis then it is not a dimethylglyoxime.; int7 & int8 -> hypothesis;
$hypothesis$ = the blowfish is a dimethylglyoxime. ; $context$ = sent1: something is a kind of a waxflower if the fact that it is not a waxflower and is not an equivalence does not hold. sent2: if the blowfish copies racon it is a prognathism. sent3: the blowfish is a kind of a challis if it is a eider. sent4: something is a kind of a eider if it is a prognathism. sent5: the fact that the blowfish is both not a waxflower and not an equivalence is incorrect. sent6: That the racon does copy blowfish is right. sent7: that the blowfish does copy racon is right. sent8: something is not a kind of a dimethylglyoxime if it is a waxflower and it is a kind of a challis. ; $proof$ = 
sent2 & sent7 -> int1: the blowfish is a kind of a prognathism.; sent4 -> int2: if the fact that the blowfish is a prognathism is true then it is a kind of a eider.; int1 & int2 -> int3: the blowfish is a kind of a eider.; int3 & sent3 -> int4: the blowfish is a kind of a challis.; sent1 -> int5: the blowfish is a waxflower if the fact that it is not a waxflower and not an equivalence is not right.; int5 & sent5 -> int6: the blowfish is a kind of a waxflower.; int4 & int6 -> int7: the blowfish is both a waxflower and a challis.; sent8 -> int8: if the blowfish is a waxflower and is a challis then it is not a dimethylglyoxime.; int7 & int8 -> hypothesis; __DISPROVED__