Consider the following premises. forall x_19: ~R_19(x_19). s_3 -> R_19(i). p_2 or s_3. Can we infer p_2 from them?
 From forall x_19: ~R_19(x_19) we can infer ~R_19(i). From s_3 -> R_19(i), ~R_19(i) we can infer ~s_3. From p_2 or s_3 we can infer ~s_3 -> p_2. Finally, from ~s_3 -> p_2, ~s_3 we can infer p_2. Therefore, the answer is yes.