I think the important fact we are missing is: “Did Pinocchio take Symbolic Logic in University?” Or the ever popular logic puzzle caveat that the individual in the problem will follow perfect logic.
I always found the negation of “all are” to “some are not” strange when the examples are common language, and the speaker would probably also consider having no hats as a possible negation.
