Consider the following premises. q_3 <-> w_3. r -> w_3. q_3 -> u_3. Can we infer r -> u_3 from them?
 From q_3 <-> w_3 we can infer w_3 -> q_3. From w_3 -> q_3, q_3 -> u_3 we can infer w_3 -> u_3. Finally, from r -> w_3, w_3 -> u_3 we can infer r -> u_3. Therefore, the answer is yes.