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