Translate the following inference to logic notation: If James were an astronaut, then Jessica is reading a book. If it is late, then Michael is sleeping. If Michael sleeps, then James is an astronaut. Therefore if it is late, then Jessica is reading a book.
p -> q. r -> s. s -> p. Therefore r -> q.