| Number | Premiss |
|---|---|
| 1 | A just man is always respected |
| 2 | No fat kings are active and merry |
| 3 | A man who is hated or respected is no longer young |
| 4 | None but kings and queens wear crowns |
| 5 | No man who is lean or indolent is much admired |
| 6 | An unjust queen is hated |
| Attribute symbol | Attribute |
|---|---|
| a | active |
| b | fat |
| c | hated |
| d | just |
| e | kings |
| k | merry |
| l | much admired |
| m | old |
| n | queens |
| r | respected |
| s | wearing a crown |
| Premiss. There are no persons that are | Symbolic form of premiss |
|---|---|
| 1. just, not respected, | dr' |
| 2. fat, kings, active, merry, | beak |
| 3. hated, not old, | cm' |
| 4. respected, not old, | rm' |
| 5. not kings, not queens, wearing a crown, | e'n's |
| 6. not fat, much admired, | lb' |
| 7. not active, much admired, | la' |
| 8. not just, not hated, queens, | nd'c' |
| Entity | Appears in | Complement appears in |
|---|---|---|
| a | 2 | 7 |
| b | 2 | 6 |
| c | 3 | 8 |
| d | 1 | 8 |
| e | 2 | 5 |
| k | 2 | |
| l | 6 7 | |
| m | 3 4 | |
| n | 8 | 5 |
| r | 4 | 1 |
| s | 5 |