Давайте попробуем определить профессии друзей-туристов, используя метод исключения и соответствия фактов.
- У нас есть фамилии: Трофимов, Варфоломеев, Колосов, Зверев и Гладких.
- Профессии: маляр, мельник, плотник, почтальон и парикмахер.
Из утверждения (3) мы узнаем, что Ворфоломеев и Зверев не маляры.
Из (4) Трофимов и Зверев не мельник, так как они планируют его посетить.
Из (5) узнаем, что Варфоломеев и Гладких живут с почтальоном, значит они не почтальоны.
Из (6) понимаем, что Колосов не парикмахер (и не Варфоломеев, очевидно) и Варфоломеев не свидетель (поскольку он женился).
Из (7) видно, что Трофимов и Варфоломеев не маляры и не плотники, ибо они играют с ними в городки.
Из (8) Зверев и Гладких не парикмахеры, так как они приходят к другу в парикмахерскую, а почтальон предпочитает бриться сам, что исключает его из претендентов на роль парикмахера.
Теперь давайте распределим профессии:
- Зверев не может быть маляром (из 3), мельником (из 4) и парикмахером (из 8), помня также, что он не почтальон (так как он живет с Гладких, но не является почтальоном, согласно 5). Таким образом, Зверев — плотник.
- Гладких также не может быть почтальоном (из 5), маляром (он играет в городки с маляром согласно 7), парикмахером (из 8) или мельником (поскольку он живет с почтальоном из 5), а Зверев — плотник. Следовательно, Гладких — маляр.
- Теперь, зная, что Гладких — маляр, почтальон живет с Гладких (5) и не бреется у парикмахера (8). Значит, Варфоломеев — почтальон.
- Трофимов не может быть маляром или плотником (он играет с ними в городки согласно 7), мельником (он хочет посетить мельницу из 4) или почтальоном (определен в качестве Варфоломеева), остается ему быть парикмахером.
- Колосов, оставаясь без профессии, является мельником, так как у него нет конкретных ограничений кроме того, что он не парикмахер (из 6).
Получается следующее распределение профессий:
- Трофимов — парикмахер
- Варфоломеев — почтальон
- Колосов — мельник
- Зверев — плотник
- Гладких — маляр
