DOKAZ
1.   NE(Ana,Boh) DANO 
2.   NE(Ana,Kolar) DANO 
3.   NE(Iva,Kolar) DANO 
4.   DA(Ana,pravo) DANO 
5.   DA(Iva,kemija) DANO 
6.   ne(Ana,fizika),  ne(Ana,kemija),  ne(Iva,pravo),  ne(Breda,pravo), ker je  da(DA)(Ana,pravo), 
7.   ne(Iva,fizika),  ne(Breda,kemija), ker je  da(DA)(Iva,kemija), 
8.   da(Breda,fizika) da-pogoj izpolnjen. 
9.   da(Ana,Lah) da-pogoj izpolnjen. 
10.   ne(Iva,Lah),  ne(Breda,Lah), ker je  da(DA)(Ana,Lah), 
11.   da(Iva,Boh) da-pogoj izpolnjen. 
12.   ne(Breda,Boh), ker je  da(DA)(Iva,Boh), 
13.   da(Breda,Kolar) da-pogoj izpolnjen. 
14.   ne(fizika,Boh) Komplement 
15.   ne(pravo,Boh) Komplement 
16.   da(kemija,Boh) da-pogoj izpolnjen. 
17.   ne(kemija,Kolar),  ne(kemija,Lah), ker je  da(DA)(kemija,Boh), 
18.   ne(pravo,Kolar) Komplement 
19.   da(fizika,Kolar) da-pogoj izpolnjen. 
20.   ne(fizika,Lah), ker je  da(DA)(fizika,Kolar), 
21.   da(pravo,Lah) da-pogoj izpolnjen. 
RESITEV:
1. Ana, Lah, pravo, 
2. Iva, Boh, kemija, 
3. Breda, Kolar, fizika,