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: