premise: Amidst a busy dock comes a red and white ship with a landscape of mountains and possibly middle-eastern territory. hypothesis: A ship is sailing in the great lakes.
contradiction: It is not possible for a ship to be both in middle-eastern territory and the great lakes at the same time.