premise: Iran will hold the first runoff presidential election in its history, between President Akbar Hashemi Rafsanjani and Tehran's hard-line mayor, election officials said Saturday.
hypothesis: Tehran's hard-line mayor will face Rafsanjani in a runoff election.