premise: A man standing on a green boat. hypothesis: The boat is red and white.
contradiction: The boat is either green or red and white.|contradiction: The boat can not be both green and red and white.|contradiction: The color is either green or red and white.