Translate the following inference to logic notation: James is sleeping. It is sunny if and only if it is overcast. It is sunny if and only if Elisabeth is listening to a song. If James sleeps, then Elisabeth is listening to a song. Therefore it is sunny.
p. q <-> r. q <-> s. p -> s. Therefore q.