Legenda:

X - není

& - Funkce And

K na P2

S na P3

1) Orel s K => Orel -> P2

2) Želva není vedle orla => ž -> P4
3) Pes s hasičem => pes -> P1 & Hasič -> P1

Ž na P2

Pot na P1

Has na P3

1) Králík s Has => Králík -> P3

2) Kočka X na P4 & Kuchař bydlí s kočkou => Kočka -> P5 & Kuchař -> P5
3) Pes je z leva od Orla => Pes P1 & Orel -> P4
4) Stavitel X vedle Potápěče => Stavitel -> P4
5) Zbytek jasný