Consider the following premises. t or s. q or q_4. ~q. ~t. Can we infer s and q_4 from them?
 From t or s, ~t we can infer s. From q or q_4, ~q we can infer q_4. Finally, from s, q_4 we can infer s and q_4. Therefore, the answer is yes.