Consider the following premises. forall x: Q(x) -> P(x). r_2 -> w_3. ~w_3. P(c_3) -> r_2. Can we infer ~Q(c_3) from them?
 From forall x: Q(x) -> P(x) we can infer Q(c_3) -> P(c_3). From Q(c_3) -> P(c_3), P(c_3) -> r_2 we can infer Q(c_3) -> r_2. From r_2 -> w_3, ~w_3 we can infer ~r_2. Finally, from Q(c_3) -> r_2, ~r_2 we can infer ~Q(c_3). Therefore, the answer is yes.