构造下列推理的证明。如果他训练刻苦，他必赢得比赛；如果他赢得比赛，他必得到总理的接见；总理没有接见他；所以他训练不刻苦。