Consider the following premises. s_4 -> r_8. p_8 -> r_8. forall y: R(y). p_8 or s_4. Can we infer ~R(a_20) from them? If possible, name the inference rules being used at each step.
That contradicts the premises. Therefore the answer is no.