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