전제: 근처에 울월스메트로,콜스 등도 가까이 있습니다.
함의: 울월스메트로는 콜스 근처에 있습니다.
모순: 콜스는 근처에 없습니다.