Translate the following inference to logic notation: If Michael goes running, then it is sunny. Jessica is a nurse or Michael is running. If Jessica were a nurse, then it is sunny. It is sunny if and only if Sarah is climbing a mountain. Therefore Sarah is climbing a mountain.
p -> q. r or p. r -> q. q <-> s. Therefore s.