A bíróságon az $A$, $B$ és $C$ tanúk ugyanazokra a kérdésekre válaszoltak, mindegyikre igennel vagy nemmel. Azokra a kérdésekre, amelyekre $B$ és $C$ is igennel válaszolt, $A$ is igent mondott; amelyekre $A$ igent mondott, azokra $B$ is, és amelyekre $B$ igent mondott, azokra igent mondott $A$ és $C$ közül legalább az egyik is.
Bizonyítsuk be, hogy $A$ és $B$ minden, kérdésre ugyanazt válaszolta.