전제: 집이 외곽이긴 하나 근처에 마트도 있습니다.
함의: 집이 외곽에 있습니다.
모순: 근처에 마트가 없습니다.