%% goal: answer(X0)

answer(not_member_compound_success) :- not_member(box(c), [box(a), box(b)]).