That's wrong. From player 1's perspective {25 20 45} is entirely consistent with the calls made in the first three rounds.