From 1d3bbec4660dfe4e2117826ceef9b32758b40345 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 14:50:00 -0700
Subject: restructured project

---
 examples/operetta_example | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 examples/operetta_example

(limited to 'examples')

diff --git a/examples/operetta_example b/examples/operetta_example
new file mode 100644
index 0000000..c2cf2fc
--- /dev/null
+++ b/examples/operetta_example
@@ -0,0 +1,14 @@
+INPUT:
+A | pr
+C | pr
+	B | as
+	C ^ B | ^i 2, 3
+B->C^B | ->i 3, 4
+
+OUTPUT:
+1. A BECAUSE: PREMISE <SOUND> [0]
+2. C BECAUSE: PREMISE <SOUND> [0]
+3.  > B BECAUSE: ASSUMPTION <SOUND> [1]
+4.  > (C CONJUNCTION B) BECAUSE: CONJUNCTION INTRODUCTION 2 3 <SOUND> [1]
+5. (B IMPLICATION (C CONJUNCTION B)) BECAUSE: IMPLICATION INTRODUCTION 3 4 <SOUND> [0]
+
-- 
cgit v1.3.1