Все карлы — вентиляторы.
некоторые диадемы — вентиляторы.
все диадемы розовые.
розовый карл не может быть диадемой.
если вентилятор почесать за ухом и он замурлыкает, то этот вентилятор обязательно диадема.

если карлу почесать за ухом, то он:
- замурлыкает
- не замурлыкает
- невозможно определить