다음 추론이 타당하기 위해서 추가로 필요한 진술은?

사고 자동차가 1번 도로를 지나왔다면, 이 자동차는 A마을에서 왔거나 B마을에서 왔을 것이다.
자동차가 A마을에서 왔다면, 자동차 밑바닥에 흙탕물이 튀었을 것이고 자동차 모습을 담은 폐쇄회로 카메라가 적어도 하나 있을 것이다.
자동차가 B마을에서 왔다면, 도로 정체를 만났을 것이고 적어도 검문소 한 곳을 통과했을 것이다.
자동차가 도로 정체를 만났다면 자동차 모습을 담은 폐쇄회로 카메라가 적어도 하나 있을 것이다.
자동차가 적어도 검문소 한 곳을 통과했다면 자동차 밑바닥에 흙탕물이 튀었을 것이다.
따라서 자동차는 1번 도로를 지나오지 않았다.

① 자동차 밑바닥에 흙탕물이 튀었을 것이다.

② 자동차는 도로 정체를 만나지 않았을 것이다.

③ 자동차가 적어도 검문소 한 곳을 통과했을 것이다.

④ 자동차는 검문소를 한 곳도 통과하지 않았을 것이다.

⑤ 자동차 모습을 담은 폐쇄회로 카메라는 하나도 없을 것이다.