Premise: If he chose Microsoft, he got ...

Hypothesis: If he doesn't choose Miscrosoft...
Relation: contradiction