Translate the following inference to logic notation: For all x, if z_4 were a mechanic, then z_4 is cooking. If it is windy, then William is playing tennis. If Karen cooks, then it is windy. Therefore if Karen were a mechanic, then William is playing tennis.
forall x: P(x) -> Q(x). p -> q. Q(a) -> p. Therefore P(a) -> q.