Translate the following inference to logic notation: Richard is not an artist. It is late if and only if it is windy. It is late or Jennifer is excited. It is windy if and only if Richard is an artist. Therefore Jennifer is excited.
~p. q <-> r. q or s. r <-> p. Therefore s.