Translate the following inference to logic notation: Barbara is listening to a song or Charles is not poor. Charles is not poor. If Charles goes running, then Charles is poor. If Barbara listens to a song, then Charles is running. Therefore Charles is not running.
p or ~q. ~q. r -> q. p -> r. Therefore ~r.