Solution to 4.

1. (~k&~q)->{(~r->~b)&(~s->k)}
2. ~sv~r
3. k->q
4. i&~q /.:~b
5. ~q 4 simp
6. ~k 5,3 mt
7. ~k&~q 5,6 conj
8. (~r->~b)&(~s->k) 1,7 mp
9. ~s->k 8 simp
10. ~r->~b 8 simp
11. kv~b 2,9,10 dil
12. ~b 6,11 ds