:-use_module(library(lists)).
test(Floors):-
    length(Floors, 3),
    member([_, albert, \+waz],Floors),
    member([2, _, waz],Floors),
    mieszka_ponizej([_, franek,_ ], [_, szymon, _], Floors),
    member([0, _, papuga],Floors),
    member([6, _, chomik],Floors),
    member([_, robert, \+kot],Floors),
    member([5, _, kot],Floors),
    member([_, marcin, \+papuga],Floors),
    mieszka_ponizej([_, albert,_ ], [_, szymon, _], Floors),
    member([1, _, rybka],Floors),
    mieszka_ponizej([_, robert,_ ], [_, albert, _], Floors),
    mieszka_ponizej([_, stefan, _], [_, marcin, _], Floors),
    member([_, robert, \+kanarek],Floors),
    member([3, _, kanarek],Floors),
    mieszka_ponizej([_, jarek,_ ], [_, stefan, _], Floors),
    mieszka_ponizej([_, marcin, _], [_, albert, _], Floors),
    member([4, _, pies],Floors),
    mieszka_ponizej([_,stefan , _], [_,szymon , _], Floors),
    mieszka_ponizej([_,robert , _], [_,szymon , _], Floors),
    member([_,szymon,\+waz],Floors),
    mieszka_ponizej([_,stefan , _], [_,albert , _], Floors),
    member([_, franek, \+papuga],Floors),
    mieszka_ponizej([_,robert , _], [_,marcin , _], Floors),
    member([_, stefan, \+pies],Floors),
    mieszka_ponizej([_,robert ,_ ], [_,stefan , _], Floors),
    mieszka_ponizej([_,jarek , _], [_,robert , _], Floors),
    member([_,robert,\+papuga],Floors),
    mieszka_ponizej([_,marcin , _], [_,szymon , _], Floors),
    mieszka_ponizej([_,franek , _], [_,robert , _], Floors),
    mieszka_ponizej([_,jarek , _], [_,albert , _], Floors),
    member([_,franek ,\+kanarek ],Floors),
    member([_,marcin ,\+chomik ],Floors),
    mieszka_ponizej([_,jarek , _], [_,franek , _], Floors),
    mieszka_ponizej([_,jarek , _], [_,szymon , _], Floors),
    mieszka_ponizej([_,franek ,_ ], [_,stefan , _], Floors),
    mieszka_ponizej([_,franek , _], [_,albert , _], Floors),
    member([_,szymon ,\+kanarek ],Floors),
    member([_,robert ,\+rybka ],Floors),
    member([_,robert ,\+chomik ],Floors),
    mieszka_ponizej([_,franek , _], [_,marcin , _], Floors),
    member([_,jarek ,\+rybka ],Floors),
    member([_,robert ,\+pies ],Floors),
    mieszka_ponizej([_,jarek ,_ ], [_,marcin , _], Floors),
    member([_,marcin ,\+waz ],Floors),
    member([_,jarek ,\+waz ],Floors),
    member([_,franek ,\+pies ],Floors),
    member([_,marcin ,\+kanarek ],Floors),
    member([_,jarek ,\+kanarek ],Floors),
    member([_,franek ,\+chomik ],Floors),
    member([_,jarek ,\+chomik ],Floors),
    member([_,jarek ,\+kot ],Floors),
    member([_,szymon ,\+pies ],Floors),
    member([_,jarek ,\+pies],Floors),
    member([_,albert ,\+kanarek ],Floors),
    member([_,albert ,\+papuga ],Floors),
    member([_,marcin ,\+kot ],Floors),
    member([_,szymon ,\+kot ],Floors),
    member([_,franek ,\+waz ],Floors),
    member([_,franek ,\+kot ],Floors),

    member([_,jarek,_],Floors),
    member([_,franek,_],Floors),
    member([_,stefan,_],Floors),
    member([_,albert,_],Floors),
    member([_,szymon,_],Floors),
    member([_,robert,_],Floors),
    member([_,marcin,_],Floors),
    !
    .

    mieszka_ponizej(A,B,[A,B|_]).
    mieszka_ponizej(A,B,[_|X]):- mieszka_ponizej(A,B,X).