solve(list):-

length(list,7),
member([Jarek,JF,JA],list),
member([Franek,FF,FA],list),
member([Stefan,STF,STA],list),
member([Albert,AF,AA],list),
member([Szymon,SZF,SZA],list),
member([Robert,RF,RA],list),
member([Marcin,MF,MA],list),

member([downer,downerF,dog],list),
member([catowner,catownerF,cat],list),
member([fowner,fownerF,fish],list),
member([howner,hownerF,hamster],list),
member([powner,pownerF,parrot],list),
member([sowner,sownerF,snake],list),
member([canowner,canownerF,canary],list),



JF>STF,
sownerF=6,
hownerF=0,
MF>JF,
fownerF=5,
MA\=cat,
catownerF=4,
FA\=parrot,
pownerF=1,
RF>MF,
RF>ST,
canownerF=2,
JF>FF,
downerF=3,
AF<SZF,
STF>MF,
SZA\=canary,
JA\=fish,
FA\=fish,
SZF>FF,
SZF>RF,
RF>FF,
MA\=hamster,
FA\=hamster,
AF<SF,
AF<MF,
SA\=canary,
AF<FF,
AF>JF,
FA\=cat,
STF<SZF,
STA\=parrot,
STA\=fish,
MA\=canary,
STF>FF,
SZF>JF,
JF<RF,
SZF>MF,
FF<MF,
MA\=parrot,
RF>AF,
MA\=dog,
MA\=snake,
RA\=parrot,
JA\=canary,
RA\=hamster,
JA\=dog,
STA\=hamster,
RA\=snake,
AA\=snake,
STA\=cat,
STA\=snake,
SZA\=hamster,
FA\=dog,
RA\=dog,
JA\=parrot,
SZA\=cat,
JA\=snake,
FA\=snake.