premise: 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.
hypothesis: The earthquake of 1644 did not destroy the fortress.