在自然推理系统P中构造下面推理的证明。（温馨提示：第一步，将简单命题符号化；第二步，写出推理的前提与结论；第三步，进行推理证明） 如果今天是星期六，我们就到颐和园或圆明园去玩；如果颐和园游人太多，我们就不去颐和园玩；今天是星期六，并且颐和园游人太多。所以我们去圆明园玩。