전제: 웬만한 곳은 다 걸어다닐 수 있는 거리입니다.
함의: 도보로 이동이 가능한 거리입니다.
모순: 도보로 이동 가능한 곳은 없습니다.