Text: 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.
Entailment: Saint Peter's was the largest church in the 17th century.
Contradiction: Abbatiale Saint-Pierre-et-Saint-Paul was destroyed to make room for Saint Peter's.