diff --git a/src/App.tsx b/src/App.tsx
index 8e2483e..9f56c04 100644
--- a/src/App.tsx
+++ b/src/App.tsx
@@ -49,6 +49,7 @@ import GridTilingPuzzlePage from './pages/GridTilingPuzzlePage';
 import SunnyLinesPuzzlePage from './pages/SunnyLinesPuzzlePage';
 import SikiniaParliamentPuzzlePage from './pages/SikiniaParliamentPuzzlePage';
 import NQueensPuzzlePage from './pages/NQueensPuzzlePage';
+import RulesOfInferencePlaygroundPage from './pages/RulesOfInferencePlaygroundPage';
 
 const queryClient = new QueryClient();
 
@@ -107,6 +108,7 @@ const App = () => (
         <Route path="/puzzles/n-queens" element={<NQueensPuzzlePage />} />
         <Route path="/discrete-math/foundations/zeckendorf" element={<ZeckendorfGamePage />} />
         <Route path="/discrete-math/foundations/zeckendorf-search" element={<ZeckendorfSearchTrickPage />} />
+        <Route path="/discrete-math/foundations/rules-of-inference" element={<RulesOfInferencePlaygroundPage />} />
         <Route path="/guessing-game" element={<GuessingGamePage />} />
           
           {/* ADD ALL CUSTOM ROUTES ABOVE THE CATCH-ALL "*" ROUTE */}
diff --git a/src/components/RulesOfInferencePlayground.tsx b/src/components/RulesOfInferencePlayground.tsx
index 6df2e2f..e377d5d 100644
--- a/src/components/RulesOfInferencePlayground.tsx
+++ b/src/components/RulesOfInferencePlayground.tsx
@@ -122,7 +122,7 @@ function DropZone({ children, onDrop, className }: { children?: React.ReactNode;
   );
 }
 
-export default function RulesOfInferencePlayground() {
+export default function RulesOfInferencePlayground({ onComplete }: { onComplete?: (completed: boolean) => void }) {
   const { toast } = useToast();
   const [exampleId, setExampleId] = useState(EXAMPLES[0].id);
   const example = useMemo(() => EXAMPLES.find((e) => e.id === exampleId)!, [exampleId]);
@@ -139,7 +139,8 @@ export default function RulesOfInferencePlayground() {
     setSteps([]);
     setActivePremises([]);
     setActiveRule(undefined);
-  }, [exampleId]);
+    onComplete?.(false);
+  }, [exampleId, onComplete]);
 
   const availableStatements = useMemo(
     () => Array.from(new Set([...(example?.premises ?? []), ...steps.map((s) => s.result)])),
@@ -220,6 +221,7 @@ export default function RulesOfInferencePlayground() {
 
     if (result === example.conclusion) {
       toast({ title: "Proof complete!", description: "You successfully derived the target conclusion!" });
+      onComplete?.(true);
     } else {
       toast({ title: "Step added", description: "Continue building your proof with the new statement." });
     }
@@ -254,7 +256,7 @@ export default function RulesOfInferencePlayground() {
     setActivePremises((prev) => prev.filter((x) => x !== p));
 
   return (
-    <div className={`min-h-[70vh] space-y-4 transition-colors duration-500 ${reachedTarget ? 'bg-green-50/50 dark:bg-green-950/20' : ''}`}>
+    <div className={`min-h-[70vh] space-y-4 transition-colors duration-500 ${reachedTarget && !onComplete ? 'bg-green-50/50 dark:bg-green-950/20' : ''}`}>
       {/* Top controls */}
       <div className="flex items-center gap-3">
         <Select value={exampleId} onValueChange={setExampleId}>
diff --git a/src/pages/RulesOfInferencePlaygroundPage.tsx b/src/pages/RulesOfInferencePlaygroundPage.tsx
new file mode 100644
index 0000000..28ed6bf
--- /dev/null
+++ b/src/pages/RulesOfInferencePlaygroundPage.tsx
@@ -0,0 +1,51 @@
+import { useState } from "react";
+import { Link } from "react-router-dom";
+import RulesOfInferencePlayground from "@/components/RulesOfInferencePlayground";
+import SocialShare from "@/components/SocialShare";
+
+const RulesOfInferencePlaygroundPage = () => {
+  const [isCompleted, setIsCompleted] = useState(false);
+
+  return (
+    <div 
+      className={`min-h-screen transition-colors duration-500 p-6 ${
+        isCompleted ? 'bg-green-50/50 dark:bg-green-950/20' : 'bg-background'
+      }`}
+    >
+      <div className="max-w-4xl mx-auto space-y-6">
+        <div className="flex items-center justify-between">
+          <Link 
+            to="/themes/discrete-math/foundations" 
+            className="text-primary hover:text-primary/80 font-medium"
+          >
+            ← Back to Foundations
+          </Link>
+          
+          <Link 
+            to="/themes/discrete-math" 
+            className="text-primary hover:text-primary/80 font-medium"
+          >
+            Back to Discrete Math →
+          </Link>
+        </div>
+        
+        <div className="space-y-2">
+          <h1 className="text-3xl font-bold text-foreground">Rules of Inference Playground</h1>
+          <p className="text-muted-foreground">
+            Practice applying resolution and equivalence rules to derive conclusions step by step.
+          </p>
+        </div>
+        
+        <RulesOfInferencePlayground onComplete={setIsCompleted} />
+        
+        <SocialShare 
+          title="Rules of Inference Playground - Interactive Logic Learning"
+          description="Practice applying resolution and equivalence rules to derive conclusions step by step in this interactive logic playground."
+          url={window.location.href}
+        />
+      </div>
+    </div>
+  );
+};
+
+export default RulesOfInferencePlaygroundPage;
\ No newline at end of file
diff --git a/src/pages/theme-pages/discrete-math/Foundations.tsx b/src/pages/theme-pages/discrete-math/Foundations.tsx
index afadca3..2ada080 100644
--- a/src/pages/theme-pages/discrete-math/Foundations.tsx
+++ b/src/pages/theme-pages/discrete-math/Foundations.tsx
@@ -59,7 +59,7 @@ const interactives: Interactive[] = [{
   description: "Practice applying resolution and equivalence rules to derive conclusions step by step.",
   tags: ["logic", "proofs", "inference", "resolution", "deduction"],
   component: RulesOfInferencePlayground,
-  greenScreenPath: "/themes/discrete-math/foundations"
+  greenScreenPath: "/discrete-math/foundations/rules-of-inference"
 }];
 const Foundations = () => {
   const [searchTerm, setSearchTerm] = useState("");