premise: A balding man walks on a path shaded by trees. hypothesis: A man with long hair is lying down inside.
contradiction: Either the man is balding or has long hair. He is also either walking or lying down.