Given the Argument: K ⊃ Q / Q ⊃ ∼

Multiple Choice

Given the argument: K ⊃ Q / Q ⊃ ∼ K // K ≡ Q
This argument is:

A) Invalid; fails in 2^nd line.
B) Invalid; fails in 1^st line.
C) Valid.
D) Invalid; fails in 4^th line.
E) Invalid; fails in 3^rd line.