Pewnego pozornie spokojnego ranka w Sztokholmie napadnięto na siedzibę banku. Po długich negocjacjach policji udało się wyprowadzić zakładników i pojmać złodziei. Podczas przesłuchań okazało się jednak, że podczas napadu niektórzy z zakładników zaczęli z własnej woli współpracować ze złodziejami. Wytypowano czworo potencjalnych współwinnych. Byli nimi: Astrid – dyrektorka działu audytu, Benjamin – broker ubezpieczeniowy, Casper – księgowy i Daniel – doradca inwestycyjny. Po kilku przesłuchaniach zaproszono do współpracy inspektora Craiga, sławnego ze swojej zadziwiająco trafnej oceny więzi między potencjalnymi współwinnymi. Po przesłuchaniu czworga podejrzanych detektyw sformułował następujące spostrzeżenia:
- Jeśli winni są Astrid i Benjamin, to winny jest też Casper.
- Jeśli winna jest Astrid, to winny jest też Casper, albo Benjamin, albo obydwaj.
- Jeśli Casper jest winny, to winny jest też Daniel.
- Jeśli Astrid nie jest winna, to Daniel jest winny.
Którzy z zakładników na pewno współpracowali ze złodziejami na podstawie tych przesłanek? Których wina jest wątpliwa?
Opracowała Mira Zyśko na podstawie: R. Smullyan, Jaki jest tytuł tej książki? Książka i wiedza, 2004.
Jeśli A nie jest winna, to D jest (4)
Jeśli A jest winna, to musi być AB, AC albo ABC (2)
Jednak gdy jest AB to musi być i ABC (1)
Tak więc jeśli A jest winna, to C musi też być winny.
Jeśli C jest winny to D też jest (3).
Niezależnie od innych D jest winny.