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