From de3994d09c165563bbd53f5cb94eaf8faa7bb061 Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Thu, 19 Dec 2024 23:33:23 +0100
Subject: [PATCH] refreshing

---
 reasoning/proof-by-cases/example2-proof.n3 | 8 --------
 reasoning/proof-by-cases/example2.n3       | 2 --
 2 files changed, 10 deletions(-)

diff --git a/reasoning/proof-by-cases/example2-proof.n3 b/reasoning/proof-by-cases/example2-proof.n3
index d96a8fc7c..30a0ccc6f 100644
--- a/reasoning/proof-by-cases/example2-proof.n3
+++ b/reasoning/proof-by-cases/example2-proof.n3
@@ -36,8 +36,6 @@ skolem:lemma2 a r:Inference;
                 :water :is :liquid.
             } {
                 :water :is :gas.
-            } {
-                :water :is :other.
             }) list:member {
                 :water :is _:sk_0.
             }.
@@ -55,8 +53,6 @@ skolem:lemma2 a r:Inference;
         :water :is :liquid.
     } {
         :water :is :gas.
-    } {
-        :water :is :other.
     })];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "urn:example:water"]];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo ((<https://eyereasoner.github.io/eye/reasoning/proof-by-cases/example2.n3>) 1)];
@@ -81,8 +77,6 @@ skolem:lemma4 a r:Inference;
             :water :is :liquid.
         } {
             :water :is :gas.
-        } {
-            :water :is :other.
         }).
     };
     r:evidence (
@@ -129,8 +123,6 @@ skolem:lemma7 a r:Extraction;
                 var:x_0 :is :liquid.
             } {
                 var:x_0 :is :gas.
-            } {
-                var:x_0 :is :other.
             }).
         }.
     };
diff --git a/reasoning/proof-by-cases/example2.n3 b/reasoning/proof-by-cases/example2.n3
index 384740fc1..5fca8882f 100644
--- a/reasoning/proof-by-cases/example2.n3
+++ b/reasoning/proof-by-cases/example2.n3
@@ -15,7 +15,6 @@
         { ?A :is :solid }
         { ?A :is :liquid }
         { ?A :is :gas }
-        { ?A :is :other }
     )
 }.
 
@@ -23,7 +22,6 @@
 { ?A :is :solid } => { ?A :is :observable }.
 { ?A :is :liquid } => { ?A :is :observable }.
 { ?A :is :gas } => { ?A :is :observable }.
-{ ?A :is :other } => { ?A :is :observable }.
 
 # proof by cases
 {