Consider the following premises. t <-> u. u <-> q_7. q_4. ~t. Can we infer ~q_7 and q_4 from them?
 From t <-> u, ~t we can infer ~u. From u <-> q_7, ~u we can infer ~q_7. Finally, from ~q_7, q_4 we can infer ~q_7 and q_4. Therefore, the answer is yes.