Translate the following inference to logic notation: If Jessica were a doctor, then it is cloudy. If Jessica were a doctor, then it is cloudy. If it is cloudy, then Jessica is a doctor. Jessica is not a doctor. Therefore it is not cloudy.
p -> q. p -> q. q -> p. ~p. Therefore ~q.