premise: a man is riding a trails bicycle on a dirt track through rough terrain. hypothesis: The man is in a truck on rough terrain.
contradiction: The man cannot be on a bicycle and a truck at the same time.