Translate the following inference to logic notation: If Barbara drinks water, then it is late. Mary is writing a letter. If Mary writes a letter, then it is late. Mary is a lawyer. Therefore it is late and Mary is a lawyer.
p -> q. r. r -> q. s. Therefore q and s.