premise: Two women walking next to a sign that reads "DOWNTOWN". hypothesis: The women are standing next to a sign that says "Cleveland, Ohio".
contradiction: One can not be walking and standing simultaneously.