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