premise: One man in a red shirt has another man wearing a gray shirt, pinned down on a blue mat. hypothesis: The men are sleeping.
contradiction: Men cannot be pinned down a mat and sleeping simultaneously.