Dynamic Contradiction Forcing Chains

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