Translate the following inference to logic notation: If it rains, then Patricia is not rich. If it rains, then Jessica is listening to a song. Patricia is rich. It is raining if and only if Jessica is listening to a song. Therefore Jessica is not listening to a song.
p -> ~q. p -> r. q. p <-> r. Therefore ~r.