A 4 In the student flat of Alan, Kurt, Sophie, Ada and Évariste is one morning

the otherwise so abundantly filled refrigerator is empty. The WG meets for a

crisis- and he wants to expose the wrongdoer(s). Every resident comments on

incident. However, the statements should be treated with caution: all residents

lie. The negation of the statements is true.

Alan: 'That wasn't one of us."

Kurt: ,, It wasn't me and neither was Sophie."

Sophie: ,,If Kurt was there, then so was Evariste."

Ada: ,,It was either Sophie or it was Kurt."

Évariste: ,,That was Alan or Ada."

Who robbed the refrigerator?

Note: First, formalize the individual statements with appropriate information-

gevariables and junctors.