premise: A man in a red shirt holds a beer can and hammers while a man in a white shirt looks on. hypothesis: the man does not have a beer can.
contradiction: If someone does not have a beer can, then they can't be holding a beer can.