Consider the following premises. forall y: P(y) -> T(y). P(h) or p_1. p_1 -> r_1. T(h) -> r_1. Can we infer r_1 from them?
 From forall y: P(y) -> T(y) we can infer P(h) -> T(h). From P(h) -> T(h), T(h) -> r_1 we can infer P(h) -> r_1. Finally, from P(h) -> r_1, p_1 -> r_1, P(h) or p_1 we can infer r_1. Therefore, the answer is yes.