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

Hypothesis: Were Microsoft to be his choice...
Relation: entailment