Translate the following inference to logic notation: Jessica is a poet and it is windy. For all x, x_23 will take a plane and x_23 will write a letter. Therefore Jessica is a poet.
p and q. forall x: P(x) and Q(x). Therefore p.