Translate the following inference to logic notation: Joseph is not cooking. Patricia is reading a book if and only if Richard is a mechanic. It is cloudy. Patricia is reading a book if and only if Joseph is cooking. Therefore Richard is not a mechanic and it is cloudy.
~p. q <-> r. s. q <-> p. Therefore ~r and s.