Table 1.
Linear | Set-Inclusion | |
---|---|---|
2-Premise problem | Ken is smaller than Ace | All gofs are old |
Ace is smaller than Rob | All old things are pink | |
Rob is smaller than Doc | Ken is a gof | |
Ken is smaller than Rob | Ken is old | |
3-Premise problem | Ken is smaller than Ace | All gofs are old |
Ace is smaller than Rob | All old things are pink | |
Rob is smaller than Doc | Ken is a gof | |
Ken is smaller than Doc | Ken is pink |
Note: The conclusion of each argument is underlined.