there is something such that if the fact that it is an earshot is right then that it is not a mount and not actable is not correct.
sent1: if the brainworker is an earshot that it does not mount and it is actable is wrong. sent2: there is something such that if it is an earshot then that it does mount and is not actable is wrong. sent3: there is something such that if it is a kind of an earshot then the fact that it is both not a mount and not unactable is not correct. sent4: something is not subartesian if it is both a Crex and not a bruise. sent5: if something is not a mount but it is actable then it is not a kind of an earshot. sent6: the brainworker is not a mount.
void -> assump2: Let's assume that the brainworker is not a kind of a mount and it is not actable.;
$hypothesis$ = there is something such that if the fact that it is an earshot is right then that it is not a mount and not actable is not correct. ; $context$ = sent1: if the brainworker is an earshot that it does not mount and it is actable is wrong. sent2: there is something such that if it is an earshot then that it does mount and is not actable is wrong. sent3: there is something such that if it is a kind of an earshot then the fact that it is both not a mount and not unactable is not correct. sent4: something is not subartesian if it is both a Crex and not a bruise. sent5: if something is not a mount but it is actable then it is not a kind of an earshot. sent6: the brainworker is not a mount. ; $proof$ = 
void -> assump2: Let's assume that the brainworker is not a kind of a mount and it is not actable.; __UNKNOWN__