testing inference fuse

rdfreasoning/temp/out/socrates-contradiction.ttl.out

@@ -0,0 +1,4 @@
+** ERROR ** eam ** inference_fuse((
+    (:Socrates a :Mortal)
+    (:Socrates a :Immortal)
+) => false)

rdfreasoning/temp/socrates-contradiction.ttl

@@ -0,0 +1,33 @@
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
+@prefix rule: <http://eyereasoner.github.io/rule#>.
+@prefix : <urn:example:>.
+
+# facts
+:Socrates a :Human, :Immortal.
+:Human rdfs:subClassOf :Mortal.
+
+# forward rule
+[] a rule:ForwardRule;
+    rule:premise (
+        (_:A rdfs:subClassOf _:B)
+        (_:S a _:A)
+    );
+    rule:conclusion (
+        (_:S a _:B)
+    ).
+
+[] a rule:ForwardRule;
+    rule:premise (
+        (_:S a :Mortal)
+        (_:S a :Immortal)
+    );
+    rule:conclusion false.
+
+# query rule
+[] a rule:QueryRule;
+    rule:premise (
+        (_:S a :Mortal)
+    );
+    rule:conclusion (
+        (_:S a :Mortal)
+    ).

rdfreasoning/temp/test

@@ -2,4 +2,5 @@
 eye --quiet --nope append.ttl --output out/append.ttl.out
 eye --quiet --nope lott.ttl --output out/lott.ttl.out
 eye --quiet --nope sha512.ttl --output out/sha512.ttl.out
+eye --quiet --nope socrates-contradiction.ttl 2> out/socrates-contradiction.ttl.out
 eye --quiet --nope union.ttl --output out/union.ttl.out