Translate the following inference to logic notation: If Jennifer were an artist, then Patricia is sleeping. If Patricia sleeps, then Jennifer is an artist. Jennifer is an artist if and only if Jessica is climbing a mountain. Jessica is not climbing a mountain. Therefore Patricia is not sleeping.
p -> q. q -> p. p <-> r. ~r. Therefore ~q.