the question is in the attachment and the format of the proof is in the doc. attachment
$\displaystyle \begin{array}{lcr}
1 & {a \to b} & {} \\
2 & {\neg c \to d} & {} \\
3 & {\neg b \vee \neg d} & {} \\
4 & {b \to \neg d} & 3 \\
5 & {a \to \neg d} & {1,4} \\
6 & {d \to \neg a} & 5 \\
7 & {\neg c \to \neg a} & {2,6} \\
8 & {c \vee \neg a} & 7 \\
\end{array} $
Now you supply the correct format and reasons.