premise: A woman holding a grocery bag is standing next to a man holding a grocery bag and a dog on a leash. hypothesis: The man has both arms free.
contradiction: The man cannot have both arms free while holding a grocery bag.