Text: 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.
Entailment: Gates is moving in the company to appease the Justice department.
Contradiction: The Justice Department are only too happy to see Gates promoted to a better job.