premise: The man, wearing a worker's vest, is shoveling rocks. hypothesis: A man is sleeping.
contradiction: You cannot shovel rocks while sleeping, so if they man is shoveling rocks, he is not sleeping.