premise: A man pushing a cart with a blue wheel. hypothesis: A man is carrying several bags of groceries to his car.
contradiction: The man cannot simultaneously be pushing a cart and be carrying bags.