Translate the following inference to logic notation: If Jessica were not a taxi driver, then James is an electrician. If Jessica were a taxi driver, then it is not sunny. It is late. It is sunny. Therefore it is late and James is an electrician.
~p -> q. p -> ~r. s. r. Therefore s and q.