It is either that:
a) they don't have any hats, i.e. that they are lying about having any hats at all.
b) they have some number of hats (n >= 1) and at least one is not green, because they are lying about the color of all their hats.
I would be happy to learn how I am wrong.