Consider the following premises. forall y: W_4(y) -> Q(y). w_3 -> t. Q(d_2) -> w_3. Can we infer W_4(d_2) -> t from them?
 From forall y: W_4(y) -> Q(y) we can infer W_4(d_2) -> Q(d_2). From W_4(d_2) -> Q(d_2), Q(d_2) -> w_3 we can infer W_4(d_2) -> w_3. Finally, from W_4(d_2) -> w_3, w_3 -> t we can infer W_4(d_2) -> t. Therefore, the answer is yes.