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