Fabiano gosta de animais de estimação e adotou quatro
cachorros: X, Y, Z e W. O cachorro X é maior que o Y, e este, por
sua vez, é menor que o Z. Já o W é maior que o Z, que é menor
X. O W não é menor do que o X, e todos apresentam tamanhos
diferentes. Sendo assim, o menor dentre os quatro, é o cachorro