Translate the following inference to logic notation: John is curious or Jessica is listening to a song. John is not curious or it is sunny. It is not sunny. Jessica is not listening to a song or David is poor. Therefore David is poor.
p or q. ~p or r. ~r. ~q or s. Therefore s.