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