Text: It was the first imperial mosque to be built following the Conquest of Constantinople in 1453, and its k??lliye (mosque complex), the biggest in the whole of the Ottoman Empire, included a hospital, poorhouses, a mental asylum, visitors' accommodation, and a number of schools teaching science, mathematics, history, and Koranic studies.
Entailment: The mosque complex is the biggest in the Ottoman Empire
Contradiction: The mosque complex is smaller than others in the Ottoman  Empire