premise: A large group of men in the forest. hypothesis: a group of men are in a restaurant having diner.
contradiction: a group of men cannot be in the restaurant having dinner and be in forest at the same time.