premise: Evening commuters walk past buses lining a city street. hypothesis: The people are flying past boats.
contradiction: One cannot walk and be flying simultaneously. There are not likely to be boats in the city streets.