diff --git a/looking-through-rdf-glasses/temp/lott.ttl b/looking-through-rdf-glasses/temp/lott.ttl
index 485cb8668..1d5a39220 100644
--- a/looking-through-rdf-glasses/temp/lott.ttl
+++ b/looking-through-rdf-glasses/temp/lott.ttl
@@ -2,7 +2,7 @@
 @prefix rule: <http://eyereasoner.github.io/rule#>.
 @prefix : <urn:example:>.
 
-[] a rule:QueryRule;
+[] a rule:ForwardRule;
     rule:premise ();
     rule:conclusion (
         (:Socrates a :Human)
diff --git a/looking-through-rdf-glasses/temp/out/lott.ttl.out b/looking-through-rdf-glasses/temp/out/lott.ttl.out
index 955383ce8..70c96ba87 100644
--- a/looking-through-rdf-glasses/temp/out/lott.ttl.out
+++ b/looking-through-rdf-glasses/temp/out/lott.ttl.out
@@ -1,21 +1,3 @@
 @prefix : <urn:example:>.
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
-@prefix rule: <http://eyereasoner.github.io/rule#>.
 
-:Socrates a :Human.
-:Human rdfs:subClassOf :Mortal.
-_:sk_0 a rule:ForwardRule.
-_:sk_0 rule:premise (
-    (_:sk_1 rdfs:subClassOf _:sk_2)
-    (_:sk_3 a _:sk_1)
-).
-_:sk_0 rule:conclusion (
-    (_:sk_3 a _:sk_2)
-).
-_:sk_4 a rule:QueryRule.
-_:sk_4 rule:premise (
-    (_:sk_3 a :Mortal)
-).
-_:sk_4 rule:conclusion (
-    (_:sk_3 a :Mortal)
-).
+:Socrates a :Mortal.
diff --git a/looking-through-rdf-glasses/temp/out/lott.ttl.out.out b/looking-through-rdf-glasses/temp/out/lott.ttl.out.out
deleted file mode 100644
index 70c96ba87..000000000
--- a/looking-through-rdf-glasses/temp/out/lott.ttl.out.out
+++ /dev/null
@@ -1,3 +0,0 @@
-@prefix : <urn:example:>.
-
-:Socrates a :Mortal.
diff --git a/looking-through-rdf-glasses/temp/test b/looking-through-rdf-glasses/temp/test
index 2337c8779..5049bad8b 100755
--- a/looking-through-rdf-glasses/temp/test
+++ b/looking-through-rdf-glasses/temp/test
@@ -2,4 +2,3 @@
 eye --quiet --nope union.ttl --output out/union.ttl.out
 eye --quiet --nope append.ttl --output out/append.ttl.out
 eye --quiet --nope lott.ttl --output out/lott.ttl.out
-eye --quiet --nope out/lott.ttl.out --output out/lott.ttl.out.out