Num certo trem, os empregados se dividiam em três pessoas: guarda-freio, o foguista e o maquinista. Seus nomes, por ordem alfabética, eram Jones, Robinson e Smith. No trem havia, também, três passageiros com os mesmos nomes: Sr. Jones, Sr. Robinson e Sr. Smith. São conhecidos os seguintes fatos: