构造下面推理的证明：如果今天是星期六，我们就去公园或去爬山；如果公园人太多，我们就不去公园；今天是星期六，公园人太多，所以我们去爬山。