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;
         }