Consider the following premises. forall x_14: ~R_14(x_14). w -> R_14(f_3). ~w -> p. Can we infer p from them?
 From forall x_14: ~R_14(x_14) we can infer ~R_14(f_3). From w -> R_14(f_3), ~R_14(f_3) we can infer ~w. Finally, from ~w -> p, ~w we can infer p. Therefore, the answer is yes.