Consider the following premises. forall x_10: R_10(x_10) -> S_10(x_10). ~S_10(g). q_4 -> R_10(g). Can we infer q_4 from them? If possible, name the inference rules being used at each step.
 From forall x_10: R_10(x_10) -> S_10(x_10) we can infer R_10(g) -> S_10(g) via universal instantiation. From R_10(g) -> S_10(g), ~S_10(g) we can infer ~R_10(g) via modus tollens. Finally, from q_4 -> R_10(g), ~R_10(g) we can infer ~q_4 via modus tollens, which contradicts q_4. Therefore, the answer is no.