Translate the following inference to logic notation: If it is cold, then Michael is playing tennis. Jessica is not a server. It is cloudy if and only if Jessica is a server. It is cold. Therefore Michael is playing tennis and it is not cloudy.
p -> q. ~r. s <-> r. p. Therefore q and ~s.