黄瓜比西红柿便宜，我的钱不够买两磅黄瓜。所以
我的钱不够买一磅西红柿
我的钱可能够，也可能不够买一磅西红柿
绿色深时，红色就浅。黄色浅时，蓝色就适中。但是要么绿色深要么黄色浅，所以
当B等于Y时，A等于Z；当A不等于Z时，E要么等于Y，要么等于Z，所以
当B等于Y时，E既不等于Y也不等于Z
当A等于Z时，Y或者Z等于E
当B不等于Y时，E既不等于Y也不等于Z
只要X等于红色，Y就一定等于绿色；只要Y不等于绿色，Z就一定等于蓝色。但是，当X等于红色时，Z绝不会等于蓝色，所以
只要Z等于蓝色，Y就可能是绿色
只要Y不等于红色，Z就可能不是蓝色
只要Y不等于绿色，X就不可能是红色