Translate the following inference to logic notation: If it is late, then Jessica is drinking water. Sarah is working or it is late. If Sarah works, then it is raining. It is raining if and only if Jessica is drinking water. Therefore it is raining.
p -> q. r or p. r -> s. s <-> q. Therefore s.