diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-19 00:03:17 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-19 00:03:17 -0700 |
| commit | 2328016214e236b9c6e7b5aeef60544c7b7ddc87 (patch) | |
| tree | 4afcbc425aab287a5887bcf3c156b3199354df50 | |
| parent | 8b541b2eab8169e39ce59964b367f9c20f7cf49b (diff) | |
added examples
| -rw-r--r-- | examples/operetta_example | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/examples/operetta_example b/examples/operetta_example deleted file mode 100644 index c2cf2fc..0000000 --- a/examples/operetta_example +++ /dev/null @@ -1,14 +0,0 @@ -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] - |