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