Translate the following inference to logic notation: John is climbing a mountain or it is raining. John is not climbing a mountain or it is cloudy. If it rains, then Linda is a musician. For all x, z is not a musician. Therefore it is cloudy.
p or q. ~p or r. q -> P(a). forall x: ~P(x). Therefore r.