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