ction::::定义.绿蓝在1945年5月8日以前是绿色，之后是蓝色。蓝绿则正好相反，在1945年5月8日以前是蓝色，之后是绿色。1945年5月8日也可以替换成任意时间 t。
观察.1945年5月8日之前，所有观察到的祖母绿宝石都是绿蓝色，所有观察到的青鸟则都是蓝绿色，根据归纳推理，祖母绿是绿蓝色、青鸟是蓝绿色。但是在1945年5月8日之后，会发现祖母绿是蓝绿色，青鸟是绿蓝色，而且之后所有的观察也都会确认如此。
「绿色」和「蓝色」.所谓的「绿色」，