長方形強制チェーン

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

Aの少なくとも1つが成立する Bはすべての分岐に共通する結論を示す 実線では、一方が不成立ならもう一方が成立する 破線では、一方が成立ならもう一方が不成立になる 各分岐でこの規則を線の順に適用する 4本すべての分岐でBが成立する どのAが成立しても、Bが成立する