diff --git a/reasoning/rdflogic/output/test.ttl b/reasoning/rdflogic/output/test.ttl
new file mode 100644
index 000000000..9d34a90f5
--- /dev/null
+++ b/reasoning/rdflogic/output/test.ttl
@@ -0,0 +1,6 @@
+@prefix : <http://example.org/#>.
+
+:result :is {
+    :a :b :c.
+    :d :e :f.
+}.
diff --git a/reasoning/rdflogic/test.ttl b/reasoning/rdflogic/test.ttl
new file mode 100644
index 000000000..f45c36c9b
--- /dev/null
+++ b/reasoning/rdflogic/test.ttl
@@ -0,0 +1,29 @@
+@prefix graph: <http://www.w3.org/2000/10/swap/graph#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix var: <http://www.w3.org/2000/10/swap/var#>.
+@prefix : <http://example.org/#>.
+
+:g1 log:univ (log:conjunction
+    [ log:univ (log:triple :a :b :c)]
+    [ log:univ (log:triple :d :e :f)]
+).
+
+:g2 log:univ (log:conjunction
+    [ log:univ (log:triple :d :e :f)]
+    [ log:univ (log:triple :a :b :c)]
+    [ log:univ (log:triple :d :e :f)]
+).
+
+[ log:univ (log:conjunction
+    [ log:univ (log:triple :g1 log:equalTo :g2)]
+    [ log:univ (log:triple (:g1 :g2) graph:union var:R)]
+)] log:implies [ log:univ (log:conjunction
+    [ log:univ (log:triple :result :is var:R)]
+)].
+
+# query
+[ log:univ (log:conjunction
+    [ log:univ (log:triple :result :is var:R)]
+)] log:query [ log:univ (log:conjunction
+    [ log:univ (log:triple :result :is var:R)]
+)].