Premise: They think Gates is stepping down-contrary to Ballmer's insistence that Gates is stepping up to his new job-in hopes of appeasing Justice Department warriors who want Gates' head.

Hypothesis: Ballmer insists the Gates is stepping down.
Relation: contradiction