premise: Two men in hats and orange uniforms are shoveling snow. hypothesis: A snowplow gets all of the slush out of the way.
contradiction: There is no need for shoveling snow if all of the slush out of the way.