http://children.kulichki.net/vopros/logika.htm

2. Известно, что грымзик обязательно или полосат, или рогат, или то и другое вместе.
a. грымзик не может быть безрогим;
b. грымзик не может быть однотонным и безрогим одновременно;
c. грымзик не может быть полосатым и безрогим одновременно.