From 4e95d8d3cf0ad82b7dd7ab6532c107e800fe42b8 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:15:41 +0000
Subject: [PATCH] Fix Hypothetical Syllogism Rule

The AI fixed the hypothetical syllogism rule in `src/components/RulesOfInferencePlayground.tsx` to correctly apply to the given premises and target conclusion.
---
 src/components/RulesOfInferencePlayground.tsx | 4 ++++
 1 file changed, 4 insertions(+)

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