Consider the following premises. p_9 <-> q. u. u -> q. Can we infer p_9 from them?
 From p_9 <-> q we can infer q -> p_9. From u -> q, q -> p_9 we can infer u -> p_9. Finally, from u -> p_9, u we can infer p_9. Therefore, the answer is yes.