that the bacchanal is a Shahn and not a Norrish is incorrect.
sent1: the fact that the bacchanal is both a Shahn and not a Norrish is not wrong if the bitternut is not vicarial. sent2: if something is vicarial it is a safehold. sent3: if something is not vicarial then that it is a Shahn that is not a Norrish is not right. sent4: if the bacchanal is a safehold the bitternut is not a percoid or is a kind of a safehold or both. sent5: that the bitternut is a freedman hold. sent6: that the bitternut is not a percoid or it is not a kind of a safehold or both is wrong if it is a kind of a freedman.
sent2 -> int1: if the bacchanal is vicarial it is a kind of a safehold.; void -> assump1: Let's assume that the bacchanal is vicarial.; int1 & assump1 -> int2: the bacchanal is a safehold.; sent6 & sent5 -> int3: that the bitternut is not a kind of a percoid or it is not a safehold or both is not true.; sent3 -> int4: that the bacchanal is a Shahn but it is not a kind of a Norrish does not hold if that it is not vicarial is correct.;
the bacchanal is a kind of a Shahn that is not a kind of a Norrish.
$hypothesis$ = that the bacchanal is a Shahn and not a Norrish is incorrect. ; $context$ = sent1: the fact that the bacchanal is both a Shahn and not a Norrish is not wrong if the bitternut is not vicarial. sent2: if something is vicarial it is a safehold. sent3: if something is not vicarial then that it is a Shahn that is not a Norrish is not right. sent4: if the bacchanal is a safehold the bitternut is not a percoid or is a kind of a safehold or both. sent5: that the bitternut is a freedman hold. sent6: that the bitternut is not a percoid or it is not a kind of a safehold or both is wrong if it is a kind of a freedman. ; $proof$ = 
sent2 -> int1: if the bacchanal is vicarial it is a kind of a safehold.; void -> assump1: Let's assume that the bacchanal is vicarial.; int1 & assump1 -> int2: the bacchanal is a safehold.; sent6 & sent5 -> int3: that the bitternut is not a kind of a percoid or it is not a safehold or both is not true.; sent3 -> int4: that the bacchanal is a Shahn but it is not a kind of a Norrish does not hold if that it is not vicarial is correct.; __UNKNOWN__