构造下列推理的证明。如果他有时间并且他有很多钱,他必去过桂林。如果他没有很多钱,他一定不会买小轿车。他有时间。他买了小轿车。所以

构造下列推理的证明。
如果他有时间并且他有很多钱,他必去过桂林。如果他没有很多钱,他一定不会买小轿车。他有时间。他买了小轿车。所以他去过桂林。
【正确答案】: