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