전제: 도보 1분거리에 세븐일레븐이 있습니다.
함의: 세븐일레븐은 도보로 갈 수 있습니다.
모순: 도보 3분거리에만 세븐일레븐이 있습니다.