premise: A man sits in a dirty blue boat. hypothesis: The man walks away from his clean boat.
contradiction: The man is either sitting in the boat, or he walks away from it. The boat must either be clean or dirty.