premise: Subway workers use ladders to check out a possible problem as a red subway car flies by. hypothesis: The workers are flying a helicopter.
contradiction: The workers can not be in a helicopter if they are in a subway.