premise: An elderly man wearing a hat and jacket is bicycling down a brick paved path while sunlight streams through autumn trees ahead. hypothesis: The old man is walking.
contradiction: To be bicycling is not to be walking, because you cannot do both at the same time.