diff --git a/examples/out1.p b/examples/out1.p
new file mode 100644
index 0000000..0b1b894
--- /dev/null
+++ b/examples/out1.p
@@ -0,0 +1,11 @@
+thf(semantics, logic, (
+    $iol := [ $output := $out1 ] )).
+
+thf(norm1, axiom, [$true, helping]).
+thf(norm2, axiom, [helping, telling]).
+thf(norm3, axiom, [~helping, ~telling]).
+
+thf(input1, hypothesis, ~helping).
+
+thf(c1, conjecture, ~telling).
+thf(c2, conjecture, ~helping).
diff --git a/examples/out3-constrained.p b/examples/out3-constrained.p
new file mode 100644
index 0000000..83f2ed3
--- /dev/null
+++ b/examples/out3-constrained.p
@@ -0,0 +1,11 @@
+thf(semantics, logic, (
+    $iol := [ $output := $out3,
+              $constrained := $credulous,
+              $constraints := [~helping] ] )).
+
+thf(norm1, axiom, [$true, helping]).
+thf(norm2, axiom, [helping, telling]).
+thf(norm3, axiom, [~helping, ~telling]).
+
+thf(input1, hypothesis, ~helping).
+
diff --git a/examples/out3.p b/examples/out3.p
new file mode 100644
index 0000000..703c97f
--- /dev/null
+++ b/examples/out3.p
@@ -0,0 +1,8 @@
+thf(semantics, logic, (
+    $iol := [ $output := $out3 ] )).
+
+thf(norm1, axiom, [$true, helping]).
+thf(norm2, axiom, [helping, telling]).
+thf(norm3, axiom, [~helping, ~telling]).
+
+thf(input1, hypothesis, ~helping).