Translate the following inference to logic notation: If it rains, then John is climbing a mountain. For all x, x_14 will not climb a mountain. Therefore it is not raining or Karen is an astronaut.
p -> P(a). forall x: ~P(x). Therefore ~p or q.