Premise: The capital of the Gododdin was Din Eidyn (the  Fort of Eidyn,  almost certainly the Castle Rock), whose name lives on in the Edin- of Edinburgh.

Hypothesis: Edinburgh derived its name from Din Eidyn, the capital of the Gododdin.
Relation: entailment