%% ?- answer(X0).

answer(ok) :- \+ number_string(N, 'four').