mnli 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.