Решение задания 133: Логическая задача о пассажирах и поездной бригаде

Задание 133. В поезде едут пассажиры Иванов, Петров и Сидоров.
Оказалось, что такие же фамилии у машиниста поезда, его помощника и у проводника. Известно, что:
1) пассажир Иванов живёт в Москве;
2) проводник живёт на полпути между Москвой и Санкт-Петербургом;
3) пассажир — однофамилец проводника — живёт в Санкт-Петербурге;
4) у пассажира, который живёт ближе к месту жительства проводника, чем другие пассажиры, вдвое больше детей, чем у проводника;
5) у пассажира Петрова трое детей;
6) Сидоров (из поездной бригады) недавно выиграл у машиниста партию на бильярде.
Какая фамилия у машиниста поезда?

Из пункта 3: проводник — Петров (пассажир Петров живёт в СПб).

Из пункта 6: Сидоров (из бригады) выиграл у машиниста, значит Сидоров — помощник, а машинист — не Сидоров.

Остаётся: машинист — Иванов.

Проверка пункта 4: пассажир Сидоров живёт ближе к проводнику (в середине пути), чем другие, и имеет вдвое больше детей, чем у проводника (Петрова). Петров имеет 3 детей — подходит.

Фамилия машиниста — Иванов.