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