diff options
Diffstat (limited to 'examples/operetta_example')
| -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] - |