Translate the following inference to logic notation: If Jessica were a poet, then it is snowing. Jennifer is listening to a song or Robert is not taking a plane. If Jennifer listens to a song, then it is snowing. Jessica is a poet or Robert is taking a plane. Therefore it is snowing.
p -> q. r or ~s. r -> q. p or s. Therefore q.