전제: 주위에 레스토랑과 슈퍼가 있어서 편리합니다.
함의: 주변에 레스토랑이 있습니다.
모순: 주변에 슈퍼는 없습니다.