///
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