the euglena is both not a Khedive and a Dimetane.
sent1: something that is crinoid is both not a heptagon and not a physiologist. sent2: the euglena is a kind of a crinoid that is commons. sent3: something is not a Khedive and is a kind of a Dimetane if it is not a heptagon.
sent1 -> int1: if the euglena is crinoid then it is both not a heptagon and not a physiologist.; sent2 -> int2: the euglena is crinoid.; int1 & int2 -> int3: the euglena is not a kind of a heptagon and it is not a kind of a physiologist.; int3 -> int4: that the euglena is not a heptagon is true.; sent3 -> int5: the euglena is not a Khedive but a Dimetane if it is not a kind of a heptagon.; int4 & int5 -> hypothesis;
$hypothesis$ = the euglena is both not a Khedive and a Dimetane. ; $context$ = sent1: something that is crinoid is both not a heptagon and not a physiologist. sent2: the euglena is a kind of a crinoid that is commons. sent3: something is not a Khedive and is a kind of a Dimetane if it is not a heptagon. ; $proof$ = 
sent1 -> int1: if the euglena is crinoid then it is both not a heptagon and not a physiologist.; sent2 -> int2: the euglena is crinoid.; int1 & int2 -> int3: the euglena is not a kind of a heptagon and it is not a kind of a physiologist.; int3 -> int4: that the euglena is not a heptagon is true.; sent3 -> int5: the euglena is not a Khedive but a Dimetane if it is not a kind of a heptagon.; int4 & int5 -> hypothesis; __PROVED__