Premise: There are a number of individual buildings to explore.

Hypothesis: There aren't any explorable buildings.
Relation: contradiction