-----
| |
| x
| |
|--y--|
| |
| x'
| |
-----
Taking y="diligent students"; x="successful";
- No diligent students are unsuccessful.
- All diligent students are successful.
- No students are diligent.
There are some diligent,