Quatro carros de cores diferentes, amarelo, verde, azul e
preto, não-necessariamente nessa ordem, formam uma
fila. O carro que está imediatamente antes do carro azul é
menos veloz do que o que está imediatamente depois do
carro azul. O carro verde é o menos veloz de todos e está
depois do carro azul. O carro amarelo está depois do carro
preto. As cores do primeiro e do segundo carro da fila, são,
respectivamente,