premise: Trees obscure a building to the right. hypothesis: There are no structures on the horizon.
contradiction: The building cannot be there and not there at the same time because a building is a structure.