Проанализируем условия:
Составим таблицу для определения принадлежности щенков:
| Мальчик | Порода | Кличка |
| Алеша | ||
| Сережа | ||
| Денис |
Из условия 2: щенок Сережи не Джек, не ротвейлер, не овчарка. Единственная оставшаяся порода — колли. Значит, Сережа — владелец колли.
Из условия 1: щенок Алеши темнее, чем овчарка, Шарик и Джек. Это значит, что щенок Алеши не овчарка, не Шарик и не Джек. Так как Сережа — колли, то Алеша не может быть колли.
Алеша — не овчарка, не колли. Алеша не может быть ротвейлером, так как щенок Сережи (колли) старше ротвейлера. Если бы Алеша был ротвейлером, то щенок Сережи (колли) был бы младше ротвейлера, что противоречит условию 2. Значит, Алеша — не ротвейлер.
Единственная порода, которая остаётся для Алеши, — это овчарка.
Из условия 1: щенок Алеши (овчарка) темнее, чем Шарик и Джек. Значит, щенок Алеши (овчарка) — не Шарик и не Джек. У Алеши — овчарка. Следовательно, кличка «Шарик» и «Джек» не относятся к овчарке.
Так как Сережа — колли, а Алеша — овчарка, то Денис — владелец ротвейлера.
Теперь определим клички:
Соединим информацию:
Из того, что щенок Алеши (овчарка) не Шарик и не Джек, а также не Колли (у Сережи), остается единственная кличка для овчарки — это Гриф.
Теперь определим кличку для Сережи (Колли) и Дениса (Ротвейлера).
Учитывая, что щенок Сережи (Колли) старше Джека, то кличка Колли — не Джек.
Значит, кличка Колли — Шарик.
Остается кличка Джек для ротвейлера Дениса.
Проверим:
Пересмотрим:
Из условия 2: Сережа — не Джек, не ротвейлер, не овчарка. Значит, Сережа — Колли.
Из условия 1: Щенок Алеши темнее, чем овчарка, Шарик и Джек. Значит, щенок Алеши не овчарка, не Шарик, не Джек. Также щенок Алеши темнее Джека.
Из условия 2: Щенок Сережи (Колли) старше Джека, ротвейлера и овчарки.
Если Сережа — Колли, то Колли старше Джека, ротвейлера и овчарки.
Из условия 1: Алеша — не овчарка, не Шарик, не Джек. Так как Сережа — Колли, то Алеша не Колли.
Алеша — не овчарка, не Колли. Следовательно, Алеша — Ротвейлер.
Оставшийся мальчик — Денис. Порода — Овчарка.
Теперь клички:
Из условия 1: Щенок Алеши (Ротвейлер) темнее, чем овчарка, Шарик и Джек. Значит, Ротвейлер — не овчарка, не Шарик, не Джек.
Из условия 2: Щенок Сережи (Колли) старше Джека. Значит, Колли — не Джек.
Значит, кличка Джек принадлежит Ротвейлеру (Алеше).
Из условия 1: Щенок Алеши (Ротвейлер, Джек) темнее, чем овчарка, Шарик. Значит, Джек темнее, чем овчарка и Шарик. Это противоречие. В условии 1 сказано «щенок Алеши темнее по окрасу, чем овчарка, Шарик и Джек». То есть, щенок Алеши — самый темный. Если Алеша — Ротвейлер, то он темнее Овчарки, Шарика, Джека. Но Джек — это кличка, а не порода. Значит, он темнее, чем Овчарка, Шарик (кличка) и Джек (кличка). Это значит, что у Алеши не может быть кличка Джек.
Перечитаем условие 1: «щенок Алеши темнее по окрасу, чем овчарка, Шарик и Джек». Это значит, что щенок Алеши НЕ овчарка, НЕ Шарик, НЕ Джек. Это означает, что Алеша НЕ является владельцем овчарки, собаки с кличкой Шарик и собаки с кличкой Джек.
Перечитаем условие 2: «щенок Сережи старше Джека, ротвейлера и овчарки». Это значит, что щенок Сережи НЕ Джек, НЕ ротвейлер, НЕ овчарка.
Из условия 2, Сережа НЕ ротвейлер и НЕ овчарка. Сережа — Колли.
Теперь знаем: Сережа — Колли.
Из условия 1: Алеша НЕ овчарка, НЕ Шарик, НЕ Джек. Так как Сережа — Колли, Алеша — не Колли.
Значит, Алеша — Ротвейлер.
Денис — Овчарка.
Теперь клички:
Из условия 2: Щенок Сережи (Колли) старше Джека. Значит, Колли — не Джек. Следовательно, кличка Джек — это Ротвейлер (Алеша) или Овчарка (Денис).
Из условия 1: Щенок Алеши (Ротвейлер) темнее, чем овчарка, Шарик и Джек. Значит, Алеша НЕ Джек.
Если Алеша (Ротвейлер) НЕ Джек, то Джек — это Овчарка (Денис).
Денис — Овчарка, Джек.
Из условия 1: щенок Алеши (Ротвейлер) темнее, чем Шарик. Значит, Алеша — не Шарик.
Если Алеша (Ротвейлер) не Джек и не Шарик, то единственная оставшаяся кличка для ротвейлера — это Гриф.
Алеша — Ротвейлер, Гриф.
Оставшаяся кличка — Шарик. Она должна принадлежать Сереже (Колли).
Сережа — Колли, Шарик.
Проверка:
Снова пересмотрим:
Клички: Джек, Гриф, Шарик.
Условие 1: Щенок Алеши (Ротвейлер) темнее, чем овчарка, Шарик и Джек.
Условие 2: Щенок Сережи (Колли) старше Джека, ротвейлера и овчарки.
Из Условия 2: Колли старше Джека. Значит, Колли — не Джек. Следовательно, Шарик или Гриф — это Колли. Но мы знаем, что Сережа — Колли, а его кличка не Джек. Значит, кличка Сережи — Шарик или Гриф.
Из Условия 1: Алеша (Ротвейлер) не Джек.
Следовательно, кличка Джек принадлежит Овчарке (Денису).
Денис — Овчарка, Джек.
Теперь у Алеши (Ротвейлер) и Сережи (Колли) остались клички Гриф и Шарик.
Из Условия 1: Щенок Алеши (Ротвейлер) темнее, чем Шарик.
Значит, Ротвейлер — не Шарик. Следовательно, кличка Гриф принадлежит Ротвейлеру (Алеше).
Алеша — Ротвейлер, Гриф.
Оставшаяся кличка — Шарик. Она принадлежит Колли (Сереже).
Сережа — Колли, Шарик.
Финальная проверка:
Условие 1: Щенок Алеши (Ротвейлер, Гриф) темнее, чем овчарка (Джек), Шарик (Колли) и Джек (Овчарка). То есть, Ротвейлер темнее Овчарки, Колли и Овчарки. Это неверно, так как