Translate the following inference to logic notation: Richard is a soldier or Joseph is listening to a song. Jennifer is not taking a plane. If Joseph listens to a song, then Mary is driving a car. If Richard were a soldier, then Jennifer is taking a plane. Therefore Mary is driving a car.
p or q. ~r. q -> s. p -> r. Therefore s.