> I was told by our HR department that we could get rid of him, or at least demote him, if he failed two annual reviews in a row. Eventually he did, but we were then told by HR that he had to fail two annual reviews in a row in the same way; if he failed twice, but differently in the second year, that didn't count

Government HR processes make it _very_ difficult to be fired.