Premise: The church's dimensions are 212 m (695 ft) exterior length, 187 m (613 ft) inside length; 132 m (435 ft) to the tip of the dome (diameter 42.45 m/139 ft).

Hypothesis: The church measures just 100 feet in length and a mere 30 feet to its highest point.
Relation: contradiction