premise: One helmeted man on a mountain bike is coming down a steep, rocky path. hypothesis: One man is hiking up the mountain path.
contradiction: The man can't be hiking up and coming down the path at the same time.