Consider the following premises. T(h_2) -> r_3. forall x: T(x) or ~W_4(x). Can we infer W_4(h_2) -> r_3 from them?
 From forall x: T(x) or ~W_4(x) we can infer forall x: W_4(x) -> T(x). From forall x: W_4(x) -> T(x) we can infer W_4(h_2) -> T(h_2). Finally, from W_4(h_2) -> T(h_2), T(h_2) -> r_3 we can infer W_4(h_2) -> r_3. Therefore, the answer is yes.