Solution to 9.

 

1. ~s->~k
2. l
3. a&(h&b)
4. {(jvh)&l}->k /.:s
5. |->~s
6. | ~k 5,1 mp
7. | ~[{(jvh)&l}] 6,4 mt
8. | ~(jvh)v~l 7 dem
9. | ~(jvh) 8,2 ds
10. | ~j&~h 9 dem
11. | ~h 10 simp
12. | h&b 3 simp
13. | h 12 simp
14. |__h&~h 13,11 conj
15. s 5-14 ip