Translate the following inference to logic notation: If Jennifer were an artist, then it is not cold. If Jennifer were an artist, then Elisabeth is sleeping. It is cold. If Elisabeth sleeps, then Jennifer is an artist. Therefore Elisabeth is not sleeping.
p -> ~q. p -> r. q. r -> p. Therefore ~r.