premise: A canal with a boat sitting in it and people walking and sitting on the sidewalk. hypothesis: The boat is on top of a truck.
contradiction: If a boat is in a canal it is not on top of a truck.