統合領域強制チェーン

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