다음 대화에서 추론할 수 있는 것은?

갑: 자율주행차가 상용화되면, 운전은 힘들지 않아.
을: 자율주행차가 상용화되는 것은 부정할 수 없는 사실이지.
병: 교통사고가 현저하게 줄어들려면 사람들이 더 이상 운전을
　　하지 않아야 하지만, 자율주행차의 상용화와 무관하게
　　사람들은 계속 운전해.
정: 운전이 힘들지 않으면서 교통사고가 현저하게 줄어들지 않는
　　그런 경우는 없고, 자율주행차가 상용화되면 교통사고는
　　현저하게 줄어들지.
무: 운전이 힘들다는 것도 사람들이 더 이상 운전을 하지 않는다는
　　것도 사실이 아니지만, 운전이 힘들지 않으면 교통사고는
　　현저하게 줄어들지.

① 갑의 말과 을의 말이 참이라면, 정의 말은 참이다.

② 갑의 말과 정의 말이 참이라면, 을의 말은 참이다.

③ 을의 말과 병의 말이 동시에 참일 수 없다.

④ 병의 말과 무의 말이 동시에 참일 수 없다.

⑤ 정의 말과 무의 말이 동시에 참일 수 없다.