Premise: The first solid references to this obscure settlement on the Castilian plateau, guarded by the looming Guadarrama mountain range, appear in the 9th century.

Hypothesis: The oldest acknowledgment of the settlement's existence dates back to the ninth century.
Relation: entailment