Not beautiful graphics, but this should do. The following tree
shows all of the branches, even failed ones. The left-hand branch
is for the first axiom and the right-hand branch is for the second
axiom.
member(X,[3,4,5]), member(X,[4])
/ \
| X = 3 member(X,[4,5]), member(X,[4])
| / \
member(3,[4]) | X = 4
/ \ |
fail member(3,[]) |
/ \ |
fail fail member(4,[4])
/ \
success