Translate the following inference to logic notation: For all x, x_2 will cook. If Patricia plays tennis, then John is a writer. If Patricia cooks, then it is overcast. If John were a writer, then it is overcast. Therefore it is overcast.
forall x: P(x). Q(a) -> p. P(a) -> q. p -> q. Therefore q.