diff --git a/examples/propositions.lp b/examples/propositions.lp
new file mode 100644
index 0000000..91c2491
--- /dev/null
+++ b/examples/propositions.lp
@@ -0,0 +1,11 @@
+p :- q.
+q :- not r.
+{s; t} :- p.
+:- s, not t.
+:- r, q, p.
+
+%#show p/0.
+%#show q/0.
+%#show r/0.
+#show s/0.
+#show t/0.