統合領域強制チェーン

候補を場合分けして各連鎖を追い、すべての分岐で共通する結論を採用します。

空きマスには、候補をすべて書き込んである

Aの少なくとも1つが成立する 実線では、一方が不成立ならもう一方が成立する 破線では、一方が成立ならもう一方が不成立になる 各分岐でこの規則を線の順に適用する 3本すべての分岐で共通の候補が不成立になる どのAが成立しても、候補数字2・6を除外できる

分岐1の推論
分岐2の推論
分岐3の推論