premise: One man carrying red shopping bags has one arm around the neck of another man carrying black bags. hypothesis: No one has bags.
contradiction: The two men cannot be carrying bags if no one has bags.