premise: Two men and a woman have a barbecue on a rooftop. hypothesis: They are in the basement.
contradiction: The people are either on the rooftop or in the basement but they are not in both places at once.