Identify the inference or replacement rule for each line in the proofs below

(H v ~I) → Z
~Z / ˫ I
~(H v ~I)
~H & ~~I
~~I
˫ I