Translate the following inference to logic notation: If James listens to a song, then Thomas is a server. It is not windy. Thomas is not a server. It is windy if and only if Sarah is an office clerk. Therefore Sarah is not an office clerk.
p -> q. ~r. ~q. r <-> s. Therefore ~s.