Consider and encode the following problem. The salt has been stolen! Well, it was found that the culprit was either the Caterpil
lar, Bill the Lizard or the Cheshire Cat. The three were tried and made the following statements in court: CATERPILLAR: Bill the Lizard ate the salt. BILL THE LIZARD: That is true! CHESHIRE CAT: I never ate the salt. As it happened, at least one of them lied and at least one told the truth. Who ate the salt?