%% goal: answer(X0)

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