Premise: The elevator entrance (clearly signposted outside the cathedral) is in the right transept.

Hypothesis: There is no elevator at the cathedral.
Relation: contradiction