每个喜欢步行的人都不喜欢骑自行车，每个人喜欢骑自行车或者喜欢乘汽车，有的人不喜欢乘汽车。因为，有的人不喜欢步行。设n元谓词W(x):步行，B(x):x骑自行车，C(x):x乘汽车。列出所有前提和结论的谓词公式，并证明结论。