garaze(R,K,T,E,H,Ford,Citroen,Fiat,Opel,Volvo):-G=[1,2,3,4,5],select5(R,K,T,E,H,G, _),select5(Ford,Citroen,Fiat,Opel,Volvo,G, _),
    K\=Fiat,K\=Citroen,E=:=Ford,R=:=4,Fiat=:=2,K=:=3,T<E,T=:=Citroen,Fiat<R,R\=Opel.
select5(X1, X2, X3, X4, X5, L, LW) :- select(X1, L, L1), select(X2, L1, L2), select(X3, L2, L3), select(X4, L3, L4), select(X5, L4, LW).