premise: Cyclists are racing; the leader is wearing red, has a red bike, and sports red sunglasses. hypothesis: The cyclists are all on black bikes.
contradiction: They cannot all be on black bikes if the leader has a red bike.