Consider the following premises. forall z: R(z) -> T(z). w_1 -> r. T(d_3) -> w_1. r -> R(d_3). Can we infer R(d_3) -> T(d_3) from them? If possible, name the inference rules being used at each step.
We can infer R(d_3) -> T(d_3) via the universal instantiation rule. Therefore, the answer is yes.