다음 글의 내용이 참일 때 반드시 참인 것은?

A부서에서는 새로 시작된 프로젝트에 다섯 명의 주무관
가은, 나은, 다은, 라은, 마은의 참여 여부를 점검하고 있다.
주무관들의 업무 전문성을 고려할 때, 다음과 같은 예측을 할 수
있었고 그 예측들은 모두 옳은 것으로 밝혀졌다.

○ 가은이 프로젝트에 참여하면 나은과 다은도 프로젝트에
　참여한다.

○ 나은이 프로젝트에 참여하지 않으면 라은이 프로젝트에
　참여한다.

○ 가은이 프로젝트에 참여하거나 마은이 프로젝트에 참여한다.

① 가은이 프로젝트에 참여하지 않으면 나은이 프로젝트에 참여한다.

② 다은이 프로젝트에 참여하면 마은이 프로젝트에 참여한다.

③ 다은이 프로젝트에 참여하거나 마은이 프로젝트에 참여한다.

④ 라은이 프로젝트에 참여하면 마은이 프로젝트에 참여한다.

⑤ 라은이 프로젝트에 참여하거나 마은이 프로젝트에 참여한다.