premise: The man carries his shopping bags to the bus. hypothesis: The man is using a shopping cart for his shopping bags.
contradiction: The man is either carrying his shopping bags or using a shopping cart.