Translate the following inference to logic notation: If Robert were an office clerk, then Michael is making tea. Michael is not making tea. For all x, z_1 will work. Therefore Karen is working and Robert is not an office clerk.
p -> q. ~q. forall x: P(x). Therefore P(a) and ~p.