This rule should take into account blanks, i.e. there is a contradiction of this kind when there is a region consisting of at least one white, no numbered whites, and zero or more blanks, that is separated from at least one other white (numbered or not).
This rule should take into account blanks, i.e. there is a contradiction of this kind when there is a region consisting of at least one white, no numbered whites, and zero or more blanks, that is separated from at least one other white (numbered or not).