From 548b21aaa503a2b7013412e96e2d6671d5bee705 Mon Sep 17 00:00:00 2001
From: "gpt-engineer-app[bot]"
 <159125892+gpt-engineer-app[bot]@users.noreply.github.com>
Date: Mon, 11 Aug 2025 12:32:50 +0000
Subject: [PATCH] Fix simplification rule

The simplification rule in the Rules of Inference Playground now presents both possible outcomes instead of assuming one.
---
 src/components/RulesOfInferencePlayground.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/components/RulesOfInferencePlayground.tsx b/src/components/RulesOfInferencePlayground.tsx
index 4699d44..1f226f8 100644
--- a/src/components/RulesOfInferencePlayground.tsx
+++ b/src/components/RulesOfInferencePlayground.tsx
@@ -272,7 +272,7 @@ export default function RulesOfInferencePlayground({ onComplete }: { onComplete?
         case "simplification": {
           // From B ∧ (C ∨ D) derive B or (C ∨ D)
           if (selected.includes("B ∧ (C ∨ D)") && selected.length === 1) {
-            return ["C ∨ D"];
+            return ["B", "C ∨ D"];
           }
           break;
         }