onstreet(X,s(X,_,_,_,_)).
onstreet(X,s(_,X,_,_,_)).
onstreet(X,s(_,_,X,_,_)).
onstreet(X,s(_,_,_,X,_)).
onstreet(X,s(_,_,_,_,X)).

middle(X,s(_,_,X,_,_)).
first(X,s(X,_,_,_,_)).
nextto(X,Y,S):-toright(X,Y,S).
nextto(Y,X,S):-toright(X,Y,S).

toright(X,Y,s(X,Y,_,_,_)).
toright(X,Y,s(_,X,Y,_,_)).
toright(X,Y,s(_,_,X,Y,_)).
toright(X,Y,s(_,_,_,X,Y)).

clue(S):-onstreet(house(english,_,red,_,_),S),
		 onstreet(house(spanish,dog,_,_,_),S),
		 onstreet(house(_,_,green,coffee,_),S),
		 onstreet(house(ukrainian,_,_,tea,_),S),
		 toright(house(_,_,ivory,_,_),house(_,_,green,_,_),S),
		 onstreet(house(_,snail,_,_,tennis),S),
		 onstreet(house(_,_,yellow,_,chess),S),
		 middle(house(_,_,_,milk,_),S),
		 first(house(norwegian,_,_,_,_),S),
		 nextto(house(_,fox,_,_,_),house(_,_,_,_,rugby),S),
		 nextto(house(_,horse,_,_,_),house(_,_,_,_,chess),S),
		 onstreet(house(_,_,_,juice,volleyball),S),
		 onstreet(house(japaneese,_,_,_,go),S),
		 nextto(house(_,_,blue,_,_),house(norwegian,_,_,_,_),S),
		 nextto(house(_,_,_,milo,_),house(_,_,_,tea,_),S).