构造下列推理的证明。如果天气很好并且他没去公司，他必去钓鱼。如果他去公司，他会乘1路公交车。今天天气很好。他没有乘1路公交车。所以他去钓鱼。