I need to derive D from the following. Any help would be greatly appreciated
Premise 1: A & B
Premise 2: C -> D
Premise 3" C v ~A
$\displaystyle \begin{gathered}
C \vee \neg A \equiv A\, \Rightarrow \,C \hfill \\
A \wedge B\, \Rightarrow \,A \hfill \\
A \wedge \left( {A\, \Rightarrow \,C} \right)\, \Rightarrow \,C \hfill \\
C \wedge \left( {C\, \Rightarrow \,D} \right)\, \Rightarrow \,D \hfill \\
\end{gathered} $
You can fill in details and reasons.