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