Translate the following inference to logic notation: If Barbara were a doctor, then it is late. If Thomas reads a book, then Susan is a server. If Susan were a server, then Joseph is a lawyer. If Joseph were a lawyer, then Barbara is a doctor. Therefore if Thomas reads a book, then it is late.
p -> q. r -> s. s -> t. t -> p. Therefore r -> q.