Consider the following premises. u -> q. ~u. p_3 -> u. p_3 or ~q. Can we infer q from them?
 From p_3 or ~q we can infer q -> p_3. From q -> p_3, p_3 -> u we can infer q -> u. From q -> u, u -> q we can infer q <-> u. Finally, from q <-> u, ~u we can infer ~q, which contradicts q. Therefore, the answer is no.