Sabe-se que:

• Se X é vermelho, então Y não é verde.

• Se X não é vermelho, então Z não é azul.

• Se Y é verde, então Z é azul.

Logo, deduz-se que: