Premise: The gigantic 12th-century Abbatiale Saint-Pierre-et-Saint-Paul was the largest church in Christendom until the completion of Saint Peter's in Rome in the 17th century.

Hypothesis: Saint Peter's was the largest church in the 17th century.
Relation: entailment