Consider the following premises. ~w. forall y: W(y). w or q_4. Can we infer q_4 and W(h) from them? If possible, name the inference rules being used at each step.
 From forall y: W(y) we can infer W(h) via universal instantiation. From w or q_4, ~w we can infer q_4 via disjunctive syllogism. Finally, from q_4, W(h) we can infer q_4 and W(h) via conjunction. Therefore, the answer is yes.