Translate the following inference to logic notation: If Charles listens to a song, then Elisabeth is a carpenter. Charles is listening to a song or it is sunny. Elisabeth is a carpenter or it is not sunny. If Elisabeth were a carpenter, then it is sunny. Therefore Elisabeth is a carpenter.
p -> q. p or r. q or ~r. q -> r. Therefore q.