Translate the following inference to logic notation: If it is cloudy, then Barbara is writing a letter. For all x, x_10 will not write a letter. If it rains, then it is cloudy. Therefore it is not raining.
p -> P(a). forall x: ~P(x). q -> p. Therefore ~q.