premise: A bicyclist flies through the air as he encounters a tree in his path. hypothesis: The bicyclist is on the empty sidewalk.
contradiction: If the sidewalk is empty, then he can not encounter a tree.