Translate the following inference to logic notation: If Linda were happy, then Barbara is bored. Linda is happy or Karen is not listening to a song. Barbara is not bored. If Barbara were bored, then Linda is happy. Therefore Karen is not listening to a song.
p -> q. p or ~r. ~q. q -> p. Therefore ~r.