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