Araújo, Baraúnas e Carvalho são três servidores do CREA. Eles, não necessaria...

Araújo, Baraúnas e Carvalho são três servidores do CREA. Eles, não necessariamente nessa   ordem, ocupam cargos de Motorista, Agente de Fiscalização e Auxiliar Técnico, e sempre se deslocam para o trabalho em veículos distintos: moto, carro próprio ou ônibus coletivo. O  Agente de Fiscalização,  que não é o Carvalho, usa o próprio carro para se deslocar ao  trabalho enquanto que Baraúnas, que não é o Auxiliar Técnico, usa ônibus. Pode-se afirmar que