premise: The two floor cleaners haul the machinery upstairs. hypothesis: Two men got a machine stuck in the elevator.
contradiction: If they were hauling the machinery upstairs, they wouldn't get it stuck in an elevator.