Solution to 3.

 

 
1. h->i
2. (e->g)&(gvj)
3. (ive)&(hve)
4. (gv~k)&(iv~l) /.:ivg
5. hve 3 simp
6. e->g 2 simp
7. ivg 1,5,6 dil