premise: man walking next to building on path clear of snow. hypothesis: A man is sleeping.
contradiction: You need to be awake to be walking and not awake to be sleeping so it is not possible to do both at the same time.