Premise: The first historical mention of Agra is in 1501, when Sultan Sikandar Lodi made it his capital.

Hypothesis: The first historical mention of Agra is in 1911.
Relation: contradiction