Antônio, Bruno e Carlos marcam um encontro em um restaurante...

Antônio, Bruno e Carlos marcam um encontro em um restaurante. Eles chegam ao local do encontro dirigindo seus carros, cujas cores são azul, branco e cinza, não necessariamente nessa ordem. O encontro é informal e todos se vestem com camisetas, cujas cores são branca, preta e verde, mas não se sabe com certeza a cor da camiseta de cada um deles. Sabe-se, no entanto, que:

I – O carro de Antônio não é branco e ele não veste camiseta branca;

II – O proprietário do carro cinza veste uma camiseta de cor verde;

III – O proprietário do carro azul não veste camiseta preta; e

IV – Bruno não veste camiseta preta.

Portanto, conclui-se que