mieszka_ponizej(Kto,Kogo,[Kto,Kogo|_]).
mieszka_ponizej(Kto,Kogo,[_|Ogon]) :- mieszka_powyzej(Kto,Kogo,Ogon).
test(Imie):-
    Floors = [[1,_,_],[2,_,_],[3,_,_],[4,_,_],[5,_,_],[6,_,_]],
    member(_, albert, \=waz),#1
    member(2, _, waz),#2
    mieszka_ponizej([_, franek, ], [, szymon, _], Floors),#3
    member(0, _, papuga),#4
    member(6, _, chomik),#5
    member(_, robert, \=kot),#6
    member(5, _, kot),#7
    member(_, marcin, \=papuga),#8
    mieszka_ponizej([_, albert, ], [, szymon, _], Floors),#9
    member(1, _, rybka),#10
    mieszka_ponizej([_, robert, ], [, albert, _], Floors),#11
    mieszka_ponizej([_, stefan, ], [, marcin, _], Floors),#12
    member(_, robert, \=kanarek),#13
    member(3, _, kanarek),#14
    mieszka_ponizej([_, jarek, ], [, stefan, _], Floors),#15
    mieszka_ponizej([_, marcin, ], [, albert, _], Floors),#16
    member(4, _, pies),#17
    mieszka_ponizej([_,stefan , ], [,szymon , _], Floors),#18
    mieszka_ponizej([_,robert , ], [,szymon , _], Floors),#19
    member(_,szymon,\=waz),#20
    mieszka_ponizej([_,stefan , ], [,albert , _], Floors),#21
    member(_, franek, \=papuga),#22
    mieszka_ponizej([_,robert , ], [,marcin , _], Floors),#23
    member(_, stefan, \=pies),#24
    mieszka_ponizej([_,robert , ], [,stefan , _], Floors),#25
    mieszka_ponizej([_,jarek , ], [,robert , _], Floors),#26
    member(_,robert,\=papuga),#27
    mieszka_ponizej([_,marcin , ], [,szymon , _], Floors),#28
    mieszka_ponizej([_,franek , ], [,robert , _], Floors),#29
    mieszka_ponizej([_,jarek , ], [,albert , _], Floors),#30
    member(_,franek ,\=Kanarek ),#31
    member(_,marcin ,\=chomik ),#32
    mieszka_ponizej([_,jarek , ], [,franek , _], Floors),#33
    mieszka_ponizej([_,jarek , ], [,szymon , _], Floors),#34
    mieszka_ponizej([_,franek , ], [,stefan , _], Floors),#35
    mieszka_ponizej([_,franek , ], [,albert , _], Floors),#36
    member(_,szymon ,\=kanarek ),#37
    member(_,robert ,\=rybka ),#38
    member(_,robert ,\=chomik ),#39
    mieszka_ponizej([_,franek , ], [,marcin , _], Floors),#40
    member(_,jarek ,\=rybka ),#41
    member(_,robert ,\=pies ),#42
    mieszka_ponizej([_,jarek , ], [,marcin , _], Floors),#43
    member(_,marcin ,\=waz ),#44
    member(_,jarek ,\=waz ),#45
    member(_,franek ,\=pies ),#46
    member(_,marcin ,\=kanarek ),#47
    member(_,jarek ,\=kanarek ),#48
    member(_,franek ,\=chomik ),#49
    member(_,jarek ,\=chomik ),#50
    member(_,jarek ,\=kot ),#51
    member(_,szymon ,\=pies ),#52
    member(_,jarek ,\= pies),#53
    member(_,albert ,\=kanarek ),#54
    member(_,albert ,\=papuga ),#55
    member(_,marcin ,\=kot ),#56
    member(_,szymon ,\=kot ),#57
    member(_,franek ,\=waz ),#58
    member(_,franek ,\=kot ),#59