premise: A man is sitting on the floor, sleeping. hypothesis: A man is lying down, sleeping.
contradiction: One can't be sitting and lying down simultaneously.|contradiction: The man can't be sitting and lying.|contradiction: A man cannot be both sitting and lying down.