Premise: 500 until around a.d. 800).

Hypothesis: The city didn't exist in 800 AD.
Relation: contradiction