From 'To their good fortune, he's proving them right.', can we infer that 'He is showing that they guessed correctly.' follows logically?
To their good fortune, he's proving them right.###He is showing that they guessed correctly.