diff --git a/src/components/RulesOfInferencePlayground.tsx b/src/components/RulesOfInferencePlayground.tsx
index ae13252..a5449dc 100644
--- a/src/components/RulesOfInferencePlayground.tsx
+++ b/src/components/RulesOfInferencePlayground.tsx
@@ -127,6 +127,7 @@ const EXAMPLES: ExampleDef[] = [
       "¬q → ¬p",
       "¬q → r",
       "¬q → s", // target
+      "¬p → s", // intermediate step
       // distractors
       "p",
       "q",
@@ -301,6 +302,10 @@ export default function RulesOfInferencePlayground({ onComplete }: { onComplete?
           if (selected.includes("¬q → r") && selected.includes("r → s") && selected.length === 2) {
             return ["¬q → s"];
           }
+          // From ¬p → r and r → s derive ¬p → s
+          if (selected.includes("¬p → r") && selected.includes("r → s") && selected.length === 2) {
+            return ["¬p → s"];
+          }
           break;
         }
       }