Задача на логику (разноцветные фигуры). Ошибка - Prolog

/*
круг не белый и не зеленый;
синяя фигура лежит между ромбом и красной фигурой;
треугольник не синий и не зеленый;
квадрат лежит между треугольником и белой фигурой
*/
фигура:-
фигура(Решение), вывод_табл(Решение).
фигура(Реш) :-
Реш = [[1,N1,C1],[2,N2,C2],[3,N3,C3],[4,N4,C4]],
перестановка([круг,квадрат,ромб,треугольник],[N1,N2,N3,N4]),
перестановка([красный,синий,белый,зеленый],[C1,C2,C3,C4]),
%перестановка([круг,квадрат,ромб,треугольник],[N1,N2,N3,N4]),
%перестановка([синий,зеленый,белый,красный],[C1,C2,C3,C4]),
 
not(member([_,круг,белый],Реш)),
not(member([_,круг,зеленый],Реш)),
 
%not(member([_,ромб,синий],Реш)),
%not(member([_,ромб,красный],Реш)),
 
not(member([_,треугольник,синий],Реш)),
not(member([_,треугольник,зеленый],Реш)),
%not(member([_,треугольник,белый],Реш)),
 
%not(member([_,квадрат,белый],Реш)),
 
 
member([СФ,_,синий],Реш), member([РБ,ромб,_],Реш), member([КФ,_,красный],Реш),
(СФ < РБ, СФ > КФ ; СФ > РБ, СФ < КФ),
 
member([КВ,квадрат,_],Реш), member([ТК,треугольник,_],Реш), member([БЛ,_,белый],Реш),
(КВ < ТК, КВ > БЛ ; КВ > ТК, КВ < БЛ).
 
перестановка([],[]).
перестановка([X|L],P):-перестановка(L,L1),вставить(X,L1,P).
вставить(X,L1,L2):-удалить(X,L2,L1).
удалить(X,[X|T],T).
удалить(X,[Н|T],[Н|T1]):-удалить(X,T,T1).
 
вывод_табл([A,B,C]) :-
    Н=['N','Фигура','Цвет'],
write('+--+------------+----------+'),nl,
writef('|%2L|%12L|%10L|',Н),nl,
write('+--+------------+----------+'),nl,
writef('|%2L|%12L|%10L|',A),nl,
writef('|%2L|%12L|%10L|',B),nl,
writef('|%2L|%12L|%10L|',C),nl,
write('+--+------------+----------+'),nl.