Premise: Marion Barry stepped down as mayor of Washington, D.C.

Hypothesis: Marion Barry had to be forced out of office.
Relation: contradiction