Translate the following inference to logic notation: Charles is listening to a song or Thomas is taking a plane. Charles is not listening to a song or Charles is bored. If Thomas takes a plane, then Barbara is not working. Barbara is working. Therefore Charles is bored.
p or q. ~p or r. q -> ~s. s. Therefore r.