логическая игра

[thundersnatch]

Некоторые сны ужасны.
Ни один ягненок не ужасен.

мир спящих ягнят.

m = ужасные
x = сны
y = ягнята

Некоторые x суть m.
Ни один y не есть m.
---------------
| | |
| ---|--- |
| | 0 | 1| |
|---|---|---|---| -------
| | 0 | | | | | 1 |
| ---|--- | |---|---|
| | | | | |
--------------- -------
Некоторые x суть y' или некоторые y' суть x.
Некоторые сны - не ягнята или некоторые не ягнята - не сны.

Т.е. некоторые сны, а также кое-какие не ягнята существуют в действительности. ))