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