전제: 집 근처에 가격 괜찮은 식당도 좀 있어요.
함의: 집 근처에 식당이 있다.
모순: 집 근처에 식당이 없다.