the merganser is disobedient.
sent1: if the fact that the testator is gonadotropic and it is botryoid does not hold it is not a kind of a megaspore. sent2: the Corchorus does not accumulate. sent3: the Corchorus is not a Zimbabwe. sent4: if the testator is not a megaspore the rustic does not accumulate. sent5: the testator does not accumulate if the rustic is not botryoid. sent6: the merganser is disobedient if the rustic does not accumulate. sent7: the merganser is not a megaspore if the fact that it is not non-botryoid and not obedient is not correct. sent8: the fact that the testator is gonadotropic and it is botryoid is incorrect if the Corchorus is not a kind of a Zimbabwe. sent9: the rustic is not a Zimbabwe if it does not accumulate.
sent8 & sent3 -> int1: the fact that that the testator is gonadotropic and it is botryoid hold does not hold.; int1 & sent1 -> int2: the testator is not a kind of a megaspore.; int2 & sent4 -> int3: the rustic does not accumulate.; int3 & sent6 -> hypothesis;
$hypothesis$ = the merganser is disobedient. ; $context$ = sent1: if the fact that the testator is gonadotropic and it is botryoid does not hold it is not a kind of a megaspore. sent2: the Corchorus does not accumulate. sent3: the Corchorus is not a Zimbabwe. sent4: if the testator is not a megaspore the rustic does not accumulate. sent5: the testator does not accumulate if the rustic is not botryoid. sent6: the merganser is disobedient if the rustic does not accumulate. sent7: the merganser is not a megaspore if the fact that it is not non-botryoid and not obedient is not correct. sent8: the fact that the testator is gonadotropic and it is botryoid is incorrect if the Corchorus is not a kind of a Zimbabwe. sent9: the rustic is not a Zimbabwe if it does not accumulate. ; $proof$ = 
sent8 & sent3 -> int1: the fact that that the testator is gonadotropic and it is botryoid hold does not hold.; int1 & sent1 -> int2: the testator is not a kind of a megaspore.; int2 & sent4 -> int3: the rustic does not accumulate.; int3 & sent6 -> hypothesis; __PROVED__