Can you solve the Pinocchio "green hats" logic puzzle?

[TheEvilCub]

I came here to say this tasted like a formal symbolic logic problem more than a math or philosophy problem. Man, I loved that class in college.