Matematické Fórum

Dobrý den kolegové.
Při pročítání knihy o matematických hádankách a problémech jsem narazil na překrásný logický hlavolam, o který se chci podělit.

Předem podotýkám, že tato úloha byla kdysi předložena v testu pro úředníky, konkrétně v Anglii.

Zadání:
1) Příjmení strojvůdce, topiče a průvodčího jsou (nikoli však v tomto pořadí) Kovalský, Petrovský, Závodský.
2) Příjmení cestujících jsou Dr. Kovalský, Dr. Petrovský a Dr. Závodský.
3) Dr. Kovalský bydlí v Praze.
4) Průvodčí bydlí v půli cesty mezi Prahou a Plzní.
5) Cestující, který se jmenuje stejně jako průvodčí, bydlí v Plzni.
6) Dr. Petrovský vydělává měsíčně 6 500 Kč.
7) Cestující, který bydlí hned vedle průvodčího,vydělává přesně třikrát tolik, co průvodčí.
8) Závodský porazil topiče v kulečníku.

Jak se jmenuje strojvůdce?