Consider the following premises. p -> Q(b). p or ~r_3. forall z: ~Q(z). Can we infer ~r_3 from them?
 From p or ~r_3 we can infer r_3 -> p. From forall z: ~Q(z) we can infer ~Q(b). From p -> Q(b), ~Q(b) we can infer ~p. Finally, from r_3 -> p, ~p we can infer ~r_3. Therefore, the answer is yes.