RESITEV: 
1. Stane, 1, hrana, 
2. Marija, 3, kamere, 
3. David, 4, obutev, 
4. Diana, 2, obleka, 
PODATKI: 
1. lastnost: Stane, Marija, David, Diana, 
2. lastnost: 1, 4, 2, 3, 
3. lastnost: obleka, hrana, kamere, obutev, 
IZPELJAVA  
 1.  NE(Stane,4)- IZBRANO;
 2.  NE(Stane,2)- IZBRANO;
 3.  NE(Stane,3)- IZBRANO;
 4.  da(Stane,1)- IZPELJAVA da;
 5.  ne(Marija,1)- IZPELJAVA ne;
 6.  ne(David,1)- IZPELJAVA ne;
 7.  ne(Diana,1)- IZPELJAVA ne;
 8.  NE(David,3)- IZBRANO;
 9.  NE(Diana,4)- IZBRANO;
 10.  NE(obleka,4)- IZBRANO;
 11.  NE(hrana,4)- IZBRANO;
 12.  NE(kamere,4)- IZBRANO;
 13.  da(obutev,4)- IZPELJAVA da;
 14.  ne(obutev,1)- IZPELJAVA ne;
 15.  ne(obutev,2)- IZPELJAVA ne;
 16.  ne(obutev,3)- IZPELJAVA ne;
 17.  ne(Stane,obutev)- KOMPLEMENT;
 18.  ne(Diana,obutev)- KOMPLEMENT;
 19.  NE(Diana,3)- IZBRANO;
 20.  da(Diana,2)- IZPELJAVA da;
 21.  ne(Marija,2)- IZPELJAVA ne;
 22.  ne(David,2)- IZPELJAVA ne;
 23.  da(Marija,3)- IZPELJAVA da;
 24.  ne(Marija,4)- IZPELJAVA ne;
 25.  ne(Marija,obutev)- KOMPLEMENT;
 26.  ne(David,obleka)- KOMPLEMENT;
 27.  ne(David,hrana)- KOMPLEMENT;
 28.  ne(David,kamere)- KOMPLEMENT;
 29.  da(David,4)- IZPELJAVA da;
 30.  da(David,obutev)- IZPELJAVA da;
 31.  NE(Diana,kamere)- IZBRANO;
 32.  ne(kamere,2)- KOMPLEMENT;
 33.  NE(Stane,kamere)- IZBRANO;
 34.  da(Marija,kamere)- IZPELJAVA da;
 35.  ne(Marija,obleka)- IZPELJAVA ne;
 36.  ne(Marija,hrana)- IZPELJAVA ne;
 37.  ne(obleka,3)- KOMPLEMENT;
 38.  ne(hrana,3)- KOMPLEMENT;
 39.  ne(kamere,1)- KOMPLEMENT;
 40.  da(kamere,3)- IZPELJAVA da;
 41.  NE(Diana,hrana)- IZBRANO;
 42.  da(Diana,obleka)- IZPELJAVA da;
 43.  ne(Stane,obleka)- IZPELJAVA ne;
 44.  da(Stane,hrana)- IZPELJAVA da;
 45.  ne(obleka,1)- KOMPLEMENT;
 46.  ne(hrana,2)- KOMPLEMENT;
 47.  da(obleka,2)- IZPELJAVA da;
 48.  da(hrana,1)- IZPELJAVA da;
 POGOJI
 1.  NE(Stane,4),  NE(Stane,2),  NE(Stane,3), 
 2.  NE(Diana,4),  NE(obleka,4),  NE(hrana,4), 
 3.  NE(kamere,4),  NE(Stane,kamere),  NE(Diana,kamere), 
 4.  NE(Diana,hrana),  NE(Diana,3), 
 5.  NE(David,3),