전제: 바로 옆 건물에 큰 수퍼마켓이 있어 편리합니다.
함의: 수퍼마켓이 있어 불편하진 않습니다.
모순: 근처 수퍼마켓의 규모는 모두 작습니다.