Translate the following inference to logic notation: Robert is listening to a song. It is windy or Thomas is not a mechanic. Thomas is a mechanic or James is a police officer. If James were a police officer, then it is windy. Therefore it is windy and Robert is listening to a song.
p. q or ~r. r or s. s -> q. Therefore q and p.