I kind of disagree

1) “All my hats are green”

2) We assume that “always lies” means that (1) is false.

3) If the liar has at least one hat that is not green satisfies (2)

4) If the liar doesn’t have any hats also satisfies (2)