Consider the following premises. forall x: R_3(x) -> W_2(x). forall x: U(x) <-> R_3(x). forall x: W_2(x) -> U(x). Can we infer W_2(h_2) -> R_3(h_2) from them?
 From forall x: U(x) <-> R_3(x) we can infer forall x: U(x) -> R_3(x). From forall x: W_2(x) -> U(x), forall x: U(x) -> R_3(x) we can infer forall x: W_2(x) -> R_3(x). From forall x: W_2(x) -> R_3(x), forall x: R_3(x) -> W_2(x) we can infer forall x: W_2(x) <-> R_3(x). From forall x: W_2(x) <-> R_3(x) we can infer W_2(h_2) <-> R_3(h_2). Finally, from W_2(h_2) <-> R_3(h_2) we can infer W_2(h_2) -> R_3(h_2). Therefore, the answer is yes.