Логическая викторина

[LazarusLong]

Имеется семь зверей: лев, гиена, пудель со щенком, сиамская кошка с котенком и датский дог. Одного из животных зовут X, а другого, отличного от первого — Y. Зрачки у льва отличаются по форме от зрачков X. Гиена принадлежит к тому же подотряду, что и Y. Y никогда не касается X. Какого (единственного!) зверя зовут Y?

[naxellar]

Y никогда не касается X

Можно это как-то уточнить?

[naxellar]

Мне кажется, что лев.
Я разбил животных на подотряды (я нагуглил, кто к кому относится, на всякий случай).

Кошкообразные (К)	Псообразные (П)
Лев	Пудель
Гиена	Щенок
Кошка	Дог
Котенок

Зрачки у льва отличаются по форме от зрачков X

Я предположил, что отличия в форме зрачков есть между подотрядами, а внутри подотрядов они одинаковы.
+

Гиена принадлежит к тому же подотряду, что и Y

X in П

Одного из животных зовут X, а другого, отличного от первого — Y

Y in К

Y никогда не касается X

Я посчитал, что речь идет об обычных условиях. Поэтому, Щенок, Кошка, Дог, Пудель, Котенок в обычной жизни могут встретиться между собой где-нибудь на улице. Остаются: Гиена и Лев, которые не могут обычно встретиться с перечисленными выше.

Гиена принадлежит к тому же подотряду, что и Y

Поэтому, я посчитал, что

Y != гиена.

Логики здесь мало, но ничего другого не придумал.