符号化下列命题，并构造推理证明。任何人如果他是素食者，他就不喜欢吃肉；每一个人或者喜欢吃肉或者喜欢吃蔬菜；有的人不爱吃蔬菜。因而不是所有的人都是素食者。