premise: A man wearing a hat and carrying a bag. hypothesis: A man is walking empty handed.
contradiction: If he is carrying a bag, he cannot be empty handed.|contradiction: Someone walking empty handed cannot be carrying a bag.|contradiction: The man cannot be both carrying a bag and empty handed.