premise: Three men stand in an art gallery, two of them point at objects unseen. hypothesis: Three men are standing in a restaurant.
contradiction: The three men are either in an art gallery or in a restaurant. They can not be in both.