Premise: Anwar el-Sadat succeeded Nasser in 1970.

Hypothesis: Nasser did step down, but it was not for the man named Anwar.
Relation: contradiction