다음 보기 중 논리적으로 오류가 없는 '항상 참'인 문장은 무엇입니까?

​① 오재원이 안타를 치면, 강백호도 반드시 안타를 친다.

② 하주석이 안타를 쳤다면, 채은성은 안타를 치지 못한 것이다.

③ 강백호가 안타를 치지 못했다면, 오재원도 안타를 치지 못한 것이다.

④ 페라자가 안타를 쳤다면, 하주석은 반드시 안타를 치지 못한다.

⑤ 채은성이 안타를 치지 못했다면, 강백호는 반드시 안타를 친 것이다.