ludzie([Jarek, Franek, Stefan, Albert, Szymon, Robert, Marcin]),
zwierzeta([pies, kot, ryba, chomik, papuga, wąż, kanarek]),
P=[[0,_,_],[1,_,_],[2,_,_],[3,_,_],[4,_,_],[5,_,_],[6,_,_]],
mieszka_wyzej([Albert,_,_],[Szymon,_,_],P),
wlasciciel([_,0,kanarek],P),
wlasciciel([_,6,ryba],P),
wlasciciel([Albert,_,\+pies],P),
wlasciciel([_,1,pies],P),
mieszka_wyzej([Jarek,_,_],[Szymon,_,_],P),
wlasciciel([_,5,chomik],P),
mieszka_wyzej([Albert,_,_],[Stefan,_,_],P),
mieszka_wyzej([Franek,_,_],[Szymon,_,_],P),
wlasciciel([_,4,papuga],P),
wlasciciel([Robert,_,\+chomik],P),
mieszka_wyzej([Jarek,_,_],[Marcin,_,_],P),
wlasciciel([Albert,_,\+kanarek],P),
mieszka_wyzej([Jarek,_,_],[Albert,_,_],P),
wlasciciel([_,3,wąż],P),
wlasciciel([_,2,kot],P),
wlasciciel([Albert,_,\+chomik],P),
mieszka_wyzej([Stefan,_,_],[Szymon,_,_],P),
mieszka_wyzej([Robert,_,_],[Albert,_,_],P),
mieszka_wyzej([Robert,_,_],[Franek,_,_],P),
mieszka_wyzej([Franek,_,_],[Marcin,_,_],P),
wlasciciel([Stefan,_,\+pies],P),
mieszka_wyzej([Jarek,_,_],[Stefan,_,_],P),
mieszka_wyzej([Jarek,_,_],[Franek,_,_],P),
mieszka_wyzej([Robert,_,_],[Jarek,_,_],P),
wlasciciel([Franek,_,\+kanarek],P),
mieszka_wyzej([Albert,_,_],[Franek,_,_],P),
wlasciciel([Franek,_,\+ryba],P),
mieszka_wyzej([Marcin,_,_],[Szymon,_,_],P),
wlasciciel([Robert,_,\+wąż],P),
wlasciciel([Jarek,_,\+ryba],P),
mieszka_wyzej([Robert,_,_],[Stefan,_,_],P),
mieszka_wyzej([Franek,_,_],[Stefan,_,_],P),
mieszka_wyzej([Stefan,_,_],[Marcin,_,_],P),
mieszka_wyzej([Albert,_,_],[Marcin,_,_],P),
wlasciciel([Stefan,_,\+wąż],P),
wlasciciel([Franek,_,\+chomik],P),
wlasciciel([Marcin,_,\+kot],P),
mieszka_wyzej([Robert,_,_],[Marcin,_,_],P),
mieszka_wyzej([Robert,_,_],[Szymon,_,_],P),
wlasciciel([Franek,_,\+ryba],P),
wlasciciel([Stefan,_,\+ryba],P),
wlasciciel([Franek,_,\+kot],P),
wlasciciel([Albert,_,\+kot],P),
wlasciciel([Szymon,_,\+papuga],P),
wlasciciel([Albert,_,\+wąż],P),
wlasciciel([Szymon,_,\+wąż],P),
wlasciciel([Jarek,_,\+kot],P),
wlasciciel([Jarek,_,\+kanarek],P),
wlasciciel([Jarek,_,\+papuga],P),
wlasciciel([Szymon,_,\+chomik],P),
wlasciciel([Jarek,_,\+wąż],P),
wlasciciel([Szymon,_,\+pies],P),
wlasciciel([Jarek,_,\+pies],P),
wlasciciel([Franek,_,\+papuga],P),
wlasciciel([Marcin,_,\+wąż],P),
wlasciciel([Szymon,_,\+kot],P),
wlasciciel([Robert,_,\+pies],P),
wlasciciel([Marcin,_,\+ryba],P),
wlasciciel([Franek,_,\+pies],P),
wlasciciel([Stefan,_,\+kanarek],P),
wlasciciel([Robert,_,\+papuga],P),
wlasciciel([Stefan,_,\+chomik],P),
wlasciciel([Stefan,_,\+papuga],P),