%% ?- answer.

answer :-
    assertz((new_fact :- 4)).