%% ?- answer(X0).

answer(ok) :- \+ nth0(5, [a], X).