Translate the following inference to logic notation: If John were a musician, then it is not sunny. For all x, y is a musician if and only if y will go running. It is sunny. Therefore John is not running.
P(a) -> ~p. forall x: P(x) <-> Q(x). p. Therefore ~Q(a).