mnli premise: Next to the mosque are the Theodosian Walls, pierced here by the Adrianople Gate (Edirnekap??), where Mehmet the Conqueror entered the fallen city in 1453. hypothesis: Mehmet the Conqueror came into the city when he conquered it in 1453.