Consider the following premises. forall y: R_1(y) -> R(y). ~R_1(i_1). q_1. forall y: R(y) -> R_1(y). Can we infer ~R(i_1) and q_1 from them?
 From forall y: R_1(y) -> R(y), forall y: R(y) -> R_1(y) we can infer forall y: R_1(y) <-> R(y). From forall y: R_1(y) <-> R(y) we can infer R_1(i_1) <-> R(i_1). From R_1(i_1) <-> R(i_1), ~R_1(i_1) we can infer ~R(i_1). Finally, from ~R(i_1), q_1 we can infer ~R(i_1) and q_1. Therefore, the answer is yes.