diff --git a/src/components/RulesOfInferencePlayground.tsx b/src/components/RulesOfInferencePlayground.tsx
index a5449dc..4699d44 100644
--- a/src/components/RulesOfInferencePlayground.tsx
+++ b/src/components/RulesOfInferencePlayground.tsx
@@ -306,6 +306,10 @@ export default function RulesOfInferencePlayground({ onComplete }: { onComplete?
           if (selected.includes("¬p → r") && selected.includes("r → s") && selected.length === 2) {
             return ["¬p → s"];
           }
+          // From ¬q → ¬p and ¬p → s derive ¬q → s
+          if (selected.includes("¬q → ¬p") && selected.includes("¬p → s") && selected.length === 2) {
+            return ["¬q → s"];
+          }
           break;
         }
       }