证明:一诺喜欢小白菜∵一诺喜欢绿色∴一诺喜欢绿色的事物∵小白菜是绿色的∴一诺喜欢