Zagadka "najtrudniejsza ze wszystkich"

Poniższa zagadka, znana jako "Historia Smitha, Johnesa i Robinsona" to już klasyka tego typu łamigłówek.

Panowie Smith, Robinson i Jones stanowią załogę pociągu. Jeden jest palaczem, drugi hamulcowym, trzeci maszynistą; kolejność tych funkcji jest przypadkowa. Pociągiem jadą również trzej biznesmeni o tych samych nazwiskach.
1. Pan Robinson mieszka w Detroit.
2. Hamulcowy mieszka dokładnie w połowie drogi między Chicago i Detroit.
3. Pan Jones zarabia dokładnie 20 tysięcy dolarów rocznie.
4. Najbliższy sąsiad hamulcowego, pasażer, zarabia 3 razy tyle co on.
5. Smith zawsze wygrywa z palaczem w bilard.
6. Pasażer o takim samym nazwisku jak hamulcowy mieszka w Chicago.

Jak nazywa się maszynista?