Translate the following inference to logic notation: If it is cloudy, then Jessica is not a writer. Richard is a taxi driver if and only if Jessica is a writer. Richard is not a taxi driver. If Jessica were not a writer, then it is cloudy. Therefore it is cloudy.
p -> ~q. r <-> q. ~r. ~q -> p. Therefore p.