只要X是红色，Y就一定是绿色的；只要Y不是绿色的，Z就一定是蓝色的。但是，当X是红色时，Z绝不会是蓝色。所以只要Y不是绿色，X就不可能是红色。