Premise: Haghia Sophia served as a mosque until 1935, when Ataturk proclaimed that it should become a museum.

Hypothesis: Hagia Sophia has been used as a mosque since 1935.
Relation: contradiction