전제: 다운타운 근처 모두 걸어다닐 수 있는 거리에요.
함의: 다운타운 근처 전부 도보로 이동 가능해요.
모순: 도보로 이동가능한 곳은 없어요.