zadanie(P) :-

    P=[[_,0,kanarek],[_,1,pies],[_,2,kot],[_,3,waz],[_,4,papuga],[_,5,chomik],[_,6,ryba]],

    member([albert,_,AZW],P), AZW \== pies,
    member([robert,_,RZW],P), RZW \== chomik,
    member([albert,_,AZW],P), AZW \== kanarek,
    member([albert,_,AZW],P), AZW \== chomik,
    member([stefan,_,SZW],P), SZW \== pies,
    member([franek,_,FZW],P), FZW \== kanarek,
    member([szymon,_,SZZW],P), SZZW \== ryba,
    member([robert,_,RZW],P), RZW \== waz,
    member([jarek,_,JZW],P), JZW \== ryba,
    member([stefan,_,SZW],P), SZW \== waz,
    member([franek,_,FZW],P), FZW \== chomik,
    member([marcin,_,MZW],P), MZW \== kot,
    member([franek,_,FZW],P), FZW \== ryba,
    member([stefan,_,SZW],P), SZW \== ryba,
    member([franek,_,FZW],P), FZW \== kot,
    member([albert,_,AZW],P), AZW \== kot,
    member([szymon,_,SZZW],P), SZZW \== papuga,
    member([albert,_,AZW],P), AZW \== waz,
    member([szymon,_,SZZW],P), SZZW \== waz,
    member([jarek,_,JZW],P), JZW \== kot,
    member([jarek,_,JZW],P), JZW \== kanarek,
    member([jarek,_,JZW],P), JZW \== papuga,
    member([szymon,_,SZZW],P), SZZW \== chomik,
    member([jarek,_,JZW],P), JZW \== waz,
    member([szymon,_,SZZW],P), SZZW \== pies,
    member([jarek,_,JZW],P), JZW \== pies,
    member([franek,_,FZW],P), FZW \== papuga,
    member([marcin,_,MZW],P), MZW \== waz,
    member([szymon,_,SZZW],P), SZZW \== kot,
    member([robert,_,RZW],P), RZW \== pies,
    member([marcin,_,MZW],P), MZW \== ryba,
    member([franek,_,FZW],P), FZW \== pies,
    member([stefan,_,SZW],P), SZW \== kanarek,
    member([robert,_,RZW],P), RZW \== papuga,
    member([stefan,_,SZW],P), SZW \== chomik,
    member([stefan,_,SZW],P), SZW \== papuga.