전제: 맞은편에 24시간하는 마트가 있습니다.
함의: 맞은편 마트는 24시간 운영합니다.
모순: 주변에 마트는 없습니다.