Viral logic test from Brazil

The 17th annual Brazilian Olympiad featured an incredibly tricky logic puzzle that went viral on social media. Thanks to Guilherme who suggested and translated the problem from Portuguese to English Pinocchio problem discussions Pinocchio illustration See Bram28 explanation for vacuously true Wikipedia vacuous truth Wikipedia truth table