Text: The fortress even withstood an earthquake in 1644, as well as attempts by the Austrian Archduke Charles to blast his way in during the War of the Spanish Succession.
Entailment: The earthquake of 1644 did not destroy the fortress.
Contradiction: The fortress was finally and utterly destroyed when Archduke Charles demolished it.