Text: From then until 1812, when the intrepid Swiss explorer John L. Burckhardt rediscovered Petra, it was almost totally forgotten.
Entailment: Petra was almost completely forgotten until 1812 when Swiss explorer John L. Burckhardt found it again.
Contradiction: Petra grew in name and popularity until 1812 when a Swiss explorer destroyed it.