長方形強制チェーン

長方形強制チェーンは、候補を場合分けしてそれぞれの連鎖を追い、すべての分岐で共通する結論を採用します。