Translate the following inference to logic notation: If Jessica were a poet, then it is late. Jessica is a poet. If James were a server, then it is not late. Therefore James is not a server or William is climbing a mountain.
p -> q. p. r -> ~q. Therefore ~r or s.