the acerola is a kind of a controlling.
sent1: if there exists something such that the fact that it is both not edible and not a keel is wrong then the bobby does not knot John. sent2: the fact that the occult is a Oakland but it does not knot John is false if the bobby does not knot John. sent3: the bobby is a moorhen or is a controlling or both if there exists something such that it is a kind of a moorhen. sent4: there is nothing that is a anarthria that is not a kind of a moorhen. sent5: if the fact that the occult is a kind of a Oakland and does not knot John is wrong then the acerola controls. sent6: something does knot John and it is a Oakland if it is not a kind of a controlling. sent7: the occult is a moorhen if there is something such that that it is both a anarthria and not a moorhen is false.
the shopkeeper does knot John.
sent6 -> int1: if the shopkeeper is not a kind of a controlling then it knots John and it is a Oakland.; sent4 -> int2: the fact that the acerola is a kind of a anarthria but it is not a kind of a moorhen is false.; int2 -> int3: there exists something such that the fact that it is a anarthria but not a moorhen is false.; int3 & sent7 -> int4: the occult is a kind of a moorhen.; int4 -> int5: something is a moorhen.; int5 & sent3 -> int6: the bobby is a moorhen and/or a controlling.;
$hypothesis$ = the acerola is a kind of a controlling. ; $context$ = sent1: if there exists something such that the fact that it is both not edible and not a keel is wrong then the bobby does not knot John. sent2: the fact that the occult is a Oakland but it does not knot John is false if the bobby does not knot John. sent3: the bobby is a moorhen or is a controlling or both if there exists something such that it is a kind of a moorhen. sent4: there is nothing that is a anarthria that is not a kind of a moorhen. sent5: if the fact that the occult is a kind of a Oakland and does not knot John is wrong then the acerola controls. sent6: something does knot John and it is a Oakland if it is not a kind of a controlling. sent7: the occult is a moorhen if there is something such that that it is both a anarthria and not a moorhen is false. ; $proof$ = 
__UNKNOWN__