Take the following as truth: If he chose Microsoft, he got ...
Then the following statement: "Were Microsoft to be his choice..." is true, false, or inconclusive?
Answer: True