以“如果明天上午不下雨，他们就一起去图书超市买书”为前提进行推理，下列符合推理规则并可必然推出结论的有（ ）

①第二天上午下雨了，所以，他们就一定不去图书超市买书了　

②第二天上午没下雨，所以，他们就一起去图书超市买书了　

③他们没有去图书超市买书，因为第二天上午下雨了　

④他们没有去图书超市买书，因为第二天上午没有下雨

A、①③

B、②④

C、②③

D、①④