Text: If he chose Microsoft, he got ...
Entailment: Were Microsoft to be his choice...
Contradiction: If he doesn't choose Miscrosoft...