Consider the following premises. forall x_11: P_11(x_11) -> Q_11(x_11). forall x_11: Q_11(x_11) -> R_11(x_11). P_11(a_10) or ~q_2. Can we infer q_2 -> R_11(a_10) from them?
 From forall x_11: P_11(x_11) -> Q_11(x_11), forall x_11: Q_11(x_11) -> R_11(x_11) we can infer forall x_11: P_11(x_11) -> R_11(x_11). From forall x_11: P_11(x_11) -> R_11(x_11) we can infer P_11(a_10) -> R_11(a_10). From P_11(a_10) or ~q_2 we can infer q_2 -> P_11(a_10). Finally, from q_2 -> P_11(a_10), P_11(a_10) -> R_11(a_10) we can infer q_2 -> R_11(a_10). Therefore, the answer is yes.