Se o Ten PM J. B. está de serviço de oficial-de-dia, então o
Sgt PM B. J. não está de serviço de adjunto ao oficial-de-dia.
Se o Sgt PM B. J. não está de serviço de adjunto ao
oficial-de-dia, então o Sd PM J. J. não está na ronda
ostensiva. Se o Sd PM J. J. não está na ronda ostensiva, então
o cabo PM B. B. não está de motorista de dia.
Se o cabo PM B. B. está de motorista de dia, é correto
concluir que o