premise: Middle-aged man in yellow shirt standing on sidewalk holding a green bag and casting a shadow. hypothesis: The man is holding five yellow bags.
contradiction: A man cannot be holding a green bag and five yellow bags at the same time.