다음 추론 중 논리적으로 타당한 것은?

① 운동을 열심히 하면 체중이 줄어든다.
영희는 최근 운동을 전혀
　하지 않았다.
그러므로 영희는 체중이 늘었음에 틀림없다.

② 코페르니쿠스의 지동설이 옳다면 행성의 운동을 설명하기 위해서
　주전원의 존재를 가정해야 한다.
그러므로 주전원의 존재를
　가정하지 않고는 행성의 운동을 설명할 수 없다.

③ 박쥐가 후각 능력이 약하거나 탁월한 청각 능력이 없다면,
　어둠 속을 빠르게 날아갈 수 없다.
박쥐는 빠르게 어둠 속을
　날아갈 수 있다는 것이 확인되었다.
그러므로 박쥐의 청각
　능력이 탁월함이 분명하다.

④ 광학에 관하여 우리가 믿고 있는 이론이 옳고, 무지개에 대한
　우리의 관찰을 비롯한 초기 조건이 정확하다면, 무지개의 색에
　대한 정확한 설명을 할 수 있다.
우리는 관찰되는 무지개의
　색에 대하여 정확하게 설명을 해내고 있다.
그러므로 우리가
　믿고 있는 광학 이론은 옳다.

⑤ 이해나 감정 등을 비롯한 인간의 모든 정신 현상이 일종의
　입력된 정보에 대한 계산적 처리 과정이라고 주장하는 계산
　기능주의자들의 주장이 옳다면, 인간의 모든 정신 현상은
　기계적으로 실현될 수 있다.
그런데 인공 지능이란 인간처럼
　느끼고 이해할 뿐만 아니라 자율적으로 판단하고 행동할 수
　있는 인공물을 말한다.
그러므로 결국 머지않아 인공 지능이
　우리 눈앞에 현실로 등장하게 될 것이다.