Consider the following premises. ~p. p_20 or p. p_3 -> ~r_20. ~p_20 or r_20. Can we infer ~p_3 or q from them?
 From p_20 or p, ~p_20 or r_20 we can infer p or r_20. From p or r_20, ~p we can infer r_20. From p_3 -> ~r_20, r_20 we can infer ~p_3. Finally, from ~p_3 we can infer ~p_3 or q. Therefore, the answer is yes.