%% goal: answer

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