4. Solve the following puzzle by translating statements into logical expressions and reasoning from these expressions. Four friends have been identified as suspects for an unauthorized access into a computer system. They have made statements to the investigating authorities. • Alice said Carlos did it. • John said I did not do it. • Carlos said Diana did it. • Diana said Carlos lied when he said that I did it. If the authorities also know that exactly one of the four suspects is telling the truth, who did it?