Consider the following premises. s_3 -> p. q_3 -> s_3. ~u. q_3 or t. u <-> t. Can we infer p from them?
 From u <-> t, ~u we can infer ~t. From q_3 or t we can infer ~t -> q_3. From q_3 -> s_3, s_3 -> p we can infer q_3 -> p. From ~t -> q_3, q_3 -> p we can infer ~t -> p. Finally, from ~t -> p, ~t we can infer p. Therefore, the answer is yes.