premise: A runner in an orange shirt runs through a city while onlookers observer. hypothesis: the runner is on a treadmill.
contradiction: The runner cannot be on a treadmill while they run through a city.