It's amazing how our brains can automatically fill in the blanks when there are mistakes, such that we don't even see the mistakes.


Ha! I didn't read close enough to catch your mistake. I just inserted the correct statement there in my mind.

Undisciplined

Woops, I made a mistake in my writeup and can't edit.

It should say: *Statement C would make Pinocchio's assertion of "All my hats are green" a vacuously true statement.*


SimpleStacker

Good point about C, that's a better reason.

science

[Logic Puzzle] Pinocchio's Hats

This would be the most complete answer, and thus I rewarded it the bounty.

Statement C would make Pinocchio's assertion of "I have no green hats" a *vacuously true* statement.  Thus, he would not be lying.

If the statement, "All my hats are green", is false, then what must be true is that Pinocchio has at least one non-green hat, which means he has at least one hat.

Thus we can conclude that statement A must be true.