premise: Two men, one with a broom and another with a shovel are clearing garbage from the street. hypothesis: Two men drive a truck to the dump.
contradiction: If men are clearing garbage from the street they are not driving a truck to the dump.