na_dole(A,B,[A,B|_]).
na_dole(A,B,[_|O]) :- na_dole(A,B,O).

zadanie(X,Y,Z) :-
    P=[[_,0,_],[_,1,_],[_,2,_],[_,3,_],[_,4,_],[_,5,_],[_,6,_]],
    na_dole([Szymon,_,_],[Albert,_,_],P),
    member([_,0,kanarek],P),
    member([_,6,ryba],P),
    member([Albert,_,\+pies],P),
    member([_,1,pies],P),
    na_dole([Szymon,_,_],[Jarek,_,_],P),
    member([_,5,chomik],P),
    na_dole([Stefan,_,_],[Albert,_,_],P),
    na_dole([Szymon,_,_],[Franek,_,_],P),
    member([_,4,papuga],P),
    member([Robert,_,\+chomik],P),
    na_dole([Marcin,_,_],[Jarek,_,_],P),
    member([Albert,_,\+kanarek],P),
    na_dole([Albert,_,_],[Jarek,_,_],P),
    member([_,3,wąż],P),
    member([_,2,kot],P),
    member([Albert,_,\+chomik],P),
    na_dole([Szymon,_,_],[Stefan,_,_],P),
    na_dole([Albert,_,_],[Robert,_,_],P),
    na_dole([Franek,_,_],[Robert,_,_],P),
    na_dole([Marcin,_,_],[Franek,_,_],P),
    member([Stefan,_,\+pies],P),
    na_dole([Stefan,_,_],[Jarek,_,_],P),
    na_dole([Franek,_,_],[Jarek,_,_],P),
    na_dole([Jarek,_,_],[Robert,_,_],P),
    member([Franek,_,\+kanarek],P),
    na_dole([Franek,_,_],[Albert,_,_],P),
    member([Szymon,_,\+ryba],P),
    na_dole([Szymon,_,_],[Marcin,_,_],P),
    member([Robert,_,\+wąż],P),
    member([Jarek,_,\+ryba],P),
    na_dole([Stefan,_,_],[Robert,_,_],P),
    na_dole([Stefan,_,_],[Franek,_,_],P),
    na_dole([Marcin,_,_],[Stefan,_,_],P),
    na_dole([Marcin,_,_],[Albert,_,_],P),
    member([Stefan,_,\+wąż],P),
    member([Franek,_,\+chomik],P),
    member([Marcin,_,\+kot],P),
    na_dole([Marcin,_,_],[Robert,_,_],P),
    na_dole([Szymon,_,_],[Robert,_,_],P),
    member([Franek,_,\+ryba],P),
    member([Stefan,_,\+ryba],P),
    member([Franek,_,\+kot],P),
    member([Albert,_,\+kot],P),
    member([Szymon,_,\+papuga],P),
    member([Albert,_,\+wąż],P),
    member([Szymon,_,\+wąż],P),
    member([Jarek,_,\+kot],P),
    member([Jarek,_,\+kanarek],P),
    member([Jarek,_,\+papuga],P),
    member([Szymon,_,\+chomik],P),
    member([Jarek,_,\+wąż],P),
    member([Szymon,_,\+pies],P),
    member([Jarek,_,\+pies],P),
    member([Franek,_,\+papuga],P),
    member([Marcin,_,\+wąż],P),
    member([Szymon,_,\+kot],P),
    member([Robert,_,\+pies],P),
    member([Marcin,_,\+ryba],P),
    member([Franek,_,\+pies],P),
    member([Stefan,_,\+kanarek],P),
    member([Robert,_,\+papuga],P),
    member([Stefan,_,\+chomik],P),
    member([Stefan,_,\+papuga],P),
    member([X,Y,Z],P).