From 8b3c553d4874d974d088bd39ddd6ca0a581cc21d Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Mon, 9 Oct 2023 22:45:40 +0200
Subject: [PATCH] testing inference fuse

---
 reasoning/blogic/good-cobbler.n3s | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/reasoning/blogic/good-cobbler.n3s b/reasoning/blogic/good-cobbler.n3s
index 066d957f1..aafbfb8bd 100644
--- a/reasoning/blogic/good-cobbler.n3s
+++ b/reasoning/blogic/good-cobbler.n3s
@@ -20,3 +20,19 @@ _:x a (:good :Cobbler).
         :test :is _:something.
     }.
 }.
+
+# invalid inference "x is good. x is a cobbler. therefore, x is a good cobbler".
+# uncommenting the following 2 triples will blow a inference fuse
+#_:x a :good.
+#_:x a :Cobbler.
+
+# maybe this is too strong in general
+(_:a _:b _:c) log:onNegativeSurface {
+    _:a a _:b.
+    _:a a _:c.
+    () log:onNegativeSurface {
+        () log:onNegativeSurface {
+            _:a a (_:b _:c).
+        }.
+    }.
+}.