Consider the following premises. ~S_11(h_4). forall x_11: R(x_11) <-> S_11(x_11). Can we infer R(h_4) from them?
 From forall x_11: R(x_11) <-> S_11(x_11) we can infer R(h_4) <-> S_11(h_4). Finally, from R(h_4) <-> S_11(h_4), ~S_11(h_4) we can infer ~R(h_4), which contradicts R(h_4). Therefore, the answer is no.