premise: Two surfers carry their boards to the end of a walkway to join the others in the water. hypothesis: The surfers are inside an office building.
contradiction: The surfers cannot be both inside an office building and in the water.