Grouped Alternating Inference Chain(Grouped AIC)
ブロック内の複数候補を1つの節として扱い、二択と同時には置けない関係を交互につなぐ鎖です。
空きマスには、候補をすべて書き込んである
AとBは鎖の両端を示す Aが不成立と仮定する 実線では、一方が不成立ならもう一方が成立する 破線では、一方が成立ならもう一方が不成立になる この規則をAからBまで線の順に適用する この仮定では、B内の少なくとも1つの候補が成立する Aが成立する場合も合わせると、AとBの少なくとも一方が成立する ×の候補数字4を除外できる