premise: Two men outside of a restaurant. hypothesis: Two men are eating inside a restaurant.
contradiction: The men cannot simultaneously be inside and outside the restaurant.|contradiction: The two men are either outside of a restaurant or eating inside a restaurant.|contradiction: Two men are either outside of a restaurant or inside it.