Translate the following inference to logic notation: It is not overcast or Mary is taking a plane. It is overcast or it is windy. If Mary takes a plane, then it is late. For all x, x_9 is rich. If it is windy, then it is late. Therefore John is rich and it is late.
~p or q. p or r. q -> s. forall x: P(x). r -> s. Therefore P(a) and s.