전제: 주변에 마트도 있고 사그라다파밀리아가 테라스에서 보입니다.
함의: 사그라다파밀리아가 테라스에서 보일만한 위치입니다.
모순: 주변에 사그라다파밀리아밖에 없습니다.