Translate the following inference to logic notation: For all x, y will work. If William were a musician, then John is not working. William is a musician or James is climbing a mountain. Therefore James is climbing a mountain.
forall x: P(x). p -> ~P(a). p or q. Therefore q.