With the premise 'To their good fortune, he's proving them right.', is 'He is showing that they are wrong.' a logical derivative?
To their good fortune, he's proving them right.###He is showing that they are wrong.