I need help with the following proof using Rules of Inference:

∃x(A(x)∧¬B(x))

∀x(A(x)→C(x))

Therefore: ∃x(C(x) ∧ ¬B(x))

We can use Rules of Inference Such as

Modus Ponens

Modus Tollens

Hypothetical Syllogism

Addition

Simplification

Conjunction

Disjunctive Syllogism