Translate the following inference to logic notation: If David were a mechanic, then Jessica is an office clerk. If Jennifer were a politician, then David is a mechanic. Jennifer is a politician. If Jessica were an office clerk, then it is overcast. Therefore it is overcast.
p -> q. r -> p. r. q -> s. Therefore s.