Use the counterexample method to prove that the following symbolized arguments are invalid.

★(1) 1. (x)(Ax ⊃ Bx)

2. (x)(Ax ⊃ ∼Cx) / (x)(Cx ⊃ Bx)

(2) 1. (∃x)(Ax Bx)

2. (x)(Cx ⊃ Ax) / (∃x)(Cx Bx)

(3) 1. (x)(Ax ⊃ Bx)

2. Bc / Ac

★(4) 1. (∃x)(Ax Bx)

2. (∃x)(Ax Cx) / (∃x)[Ax (Bx Cx)]

(5) 1. (x)[Ax ⋁ (Bx ⋁ Cx)] / (x)Ax ⋁ [(x)Bx ⋁ (x)Cx]

(6) 1. (x)[Ax ⊃ (Bx ⋁ Cx)]

2. (x)[(Bx Cx) ⊃ Dx] / (x)(Ax ⊃ Dx)

★(7) 1. (∃x)Ax 2. (∃x)Bx 3. (x)(Ax ⊃ ∼Cx) / (∃x)(Bx ∼Cx)

(8) 1. (x)[(Ax ⋁ Bx) ⊃ Cx]

2. (x)[(Cx Dx) ⊃ Ex] / (x)(Ax ⊃ Ex)

(9) 1. (x)[(Ax Bx) ⊃ Cx]

2. (x)[(Ax Cx) ⊃ Dx] / (x)[(Ax Dx) ⊃ Cx]

★(10) 1. (∃x)(Ax Bx)

2. (∃x)(Cx ∼Bx)

3. (x)(Ax ⊃ Cx) / (∃x)[(Cx Bx) ∼Ax]