start:-eq(X,[[1|X1],[2|X2],[3|X3],[4|X4],[5|X5]]),

inlist([_,red,'English',_,_,_],X),
inlist([_,_,'Spanish',_,_,dog],X),
inlist([1,_,'Norwegian',_,_,_],X),
inlist([_,yellow,_,_,'Kool',_],X),
nextto([_,_,_,_,'Chesterfield',_],[_,_,_,_,_,fox],X),
nextto([_,_,'Norwegian',_,_,_],[_,blue,_,_,_,_],X),
inlist([_,_,_,_,'Old Gold',snails],X),
inlist([_,_,_,'orange juice','Lucky Strike',_],X),
inlist([_,_,'Ukranian',tea,_,_],X),
inlist([_,_,'Japanese',_,'Parliament',_],X),
nextto([_,_,_,_,'Kool',_],[_,_,_,_,_,horse],X),
inlist([_,green,_,coffee,_,_],X),
rightof([_,ivory,_,_,_,_],[_,green,_,_,_,_],X),
inlist([3,_,_,milk,_,_],X),
inlist([_,_,_,_,_,zebra],X),
inlist([_,_,_,water,_,_],X).

inlist(X,[X|_]).
inlist(X,[_|Y]):-inlist(X,Y).

nextto([H1|X],[H2|Y],Z):-inlist([H1|X],Z),inlist([H2|Y],Z),order(H1,H2).
nextto([H1|X],[H2|Y],Z):-inlist([H1|X],Z),inlist([H2|Y],Z),order(H2,H1).

rightof([H1|X],[H2|Y],Z):-inlist([H1|X],Z),inlist([H2|Y],Z),order(H1,H2).

order(1,2).
order(2,3).
order(3,4).
order(4,5).

eq(X,X).