Translate the following inference to logic notation: Richard is listening to a song or James is a server. Richard is not listening to a song. If Patricia sleeps, then James is not a server. Patricia is sleeping or Joseph is a mechanic. Therefore Joseph is a mechanic.
p or q. ~p. r -> ~q. r or s. Therefore s.