Известно следующее:
1). Фамилия машиниста паровоза, кочегара и кондуктора (но не обязательно в таком же порядке) - Ковалев, Петров, Смирнов.
2). Фамилии пассажиров - доктор Ковалев, доктор Петров, доктор Смирнов.
3). Доктор Ковалев живет в А.
4). Кондуктор живет по середине пути между А к В.
5). Пассажир, у которого такая же фамилия, как и у кондуктора, живет в В.
6). Доктор Петров заробатывает каждый месяц 25000 рублей.
7). Пассажир, который живет очень близко от кондуктора, зарабатывает ровно в 3 раза больше, чем кондуктор.
8). Смирнов выиграл партию в шахматы у кочегара.
Как фамилия машиниста?