对下列句子符号化，并构造推理证明： 任何人如果他喜欢步行，他就不喜欢乘汽车；每一个人或者喜欢乘汽车或者喜

对下列句子符号化，并构造推理证明：

任何人如果他喜欢步行，他就不喜欢乘汽车；每一个人或者喜欢乘汽车或者喜欢骑自行车；有的人不爱骑自行车，因而有的人不爱步行。