Whoever finishes third should thank their lucky stars that...
Whoever finishes third should thank their lucky stars that Mike was not running, because he would have finished fourth if Mike was in the race.
Whoever finishes third should thank their lucky stars that Mike was not running, because he would have finished fourth if Mike was in the race.