premise: A group of dogs standing by a car. hypothesis: Some lions are waiting near a boat.
contradiction: The animals cannot be both dogs and lions. The animals are either near a car or near a boat, not both.