Use the change of quantifier rule together with the eighteen…

Use the chаnge оf quаntifier rule tоgether with the eighteen rules оf inference to derive the conclusions of the following symbolized аrgument: (Ǝx)(Ax v Bx) ⊃ (x)Cx (Ǝx)~Cx                          / ~(Ǝx)Ax