Translate the following inference to logic notation: Thomas is playing a game. Karen is listening to a song if and only if Linda is reading a book. Michael is cooking. If Linda reads a book, then Thomas is not playing a game. Therefore Karen is not listening to a song and Michael is cooking.
p. q <-> r. s. r -> ~p. Therefore ~q and s.