Translate the following inference to logic notation: If Joseph reads a book, then Michael is an astronaut. If Michael were an astronaut, then Patricia is cooking. Patricia is not cooking. If Michael were an astronaut, then Joseph is reading a book. Therefore Joseph is not reading a book or it is late.
p -> q. q -> r. ~r. q -> p. Therefore ~p or s.