premise: Two women are on a rock wall while others walk along a path. hypothesis: Two women walk along a path, staring at an empty wall.
contradiction: The rock wall cannot be empty and occupied simultaneously.