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

[jerwin]

@AnthonyC

@Neil_Austin Vacuous truth in formal logic is much older than Godel and doesn’t help there, at all. It is a way to force all well-formed statements to fit into a model with only two possible truth values, though.

Some models of logic use more than two truth values,

https://plato.stanford.edu/entries/aristotle-logic/