Translate the following inference to logic notation: Mary is not listening to a song. Jennifer is a cashier or Thomas is not a mechanic. If Jennifer were a cashier, then Mary is listening to a song. If Joseph drives a car, then Thomas is a mechanic. Therefore Joseph is not driving a car.
~p. q or ~r. q -> p. s -> r. Therefore ~s.