Solution to 1.

1. d&e
2. g&h
3. gve
4. (g&e)->j /.:j
5. g 2 simp
6. e 1 simp
7. g&e 5,6 conj
8. j 7,4 mp