Premise: The double walls, built in the fifth century, during the reign of the Emperor Theodosius, stretch 61.2 km (4 miles) from the Sea of Marmara to the Golden Horn.

Hypothesis: The Emperor Theodosius built the double walls, which are 4 miles long, during the fifth century.
Relation: entailment