In the Following Proof, Which Justification Is Correct for Line

Multiple Choice

In the following proof, which justification is correct for line 5? $\begin{array}{llcc} \text { (1) \( (x) [\operatorname{Ix}\supset(\mathrm{T} x x \supset H x) ] \) } & & \text { Premise } \\ \text {(2) \( (x) (\mathrm{H} x \supset \mathrm{D} x) \cdot(y) \sim \mathrm{D} y \) } && \text { Premise/Conclusion } \\& \text { \(/(x) (\exists y) \sim(\mathrm{I} y \cdot \mathrm{Tyx}) \) } &\\ \text { (3) \( (x) (\mathrm{H} x \supset \mathrm{D} x) \) } && \text { \( 2 \operatorname{Simp} \) } \\ \text { (4) \( (y) \sim D y \) } && \text { \( 2 \operatorname{Simp} \) } \\ \text { (5) \( \mathrm{Ia} \supset(\mathrm{Taa} \supset \mathrm{Ha}) \) } &\\\end{array}$

A) 1 UI
B) 1 Simp
C) Assumption
D) 1 Add
E) None of these answers are correct.