Translate the following inference to logic notation: If it is sunny, then Barbara is an artist. For all x, y is not an artist. John is taking a plane. Therefore it is not sunny and John is taking a plane.
p -> P(a). forall x: ~P(x). q. Therefore ~p and q.