Translate the following inference to logic notation: If Jennifer were a mechanic, then it is raining. David is not a musician. It is late if and only if it is raining. If it rains, then Jennifer is a mechanic. David is a musician if and only if it is late. Therefore Jennifer is not a mechanic.
p -> q. ~r. s <-> q. q -> p. r <-> s. Therefore ~p.