refreshing

eyereasoner · Dec 19, 2024 · de3994d · de3994d
1 parent 3a89f93
commit de3994d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 10 deletions.
diff --git 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
@@ -15,15 +15,13 @@
         { ?A :is :solid }
         { ?A :is :liquid }
         { ?A :is :gas }
-        { ?A :is :other }
     )
 }.
 
 # solid, liquid and gas things are observable
 { ?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
 {