Translate the following inference to logic notation: For all x, x_13 will play squash or x_13 is an astronaut. Charles is playing squash if and only if Michael is a cashier. It is not windy. If Michael were a cashier, then it is windy. Therefore Charles is an astronaut.
forall x: P(x) or Q(x). P(a) <-> p. ~q. p -> q. Therefore Q(a).