Translate the following inference to logic notation: Patricia is working or Sarah is a taxi driver. It is raining if and only if Sarah is a taxi driver. If Patricia works, then Linda is a musician. If Linda were a musician, then it is raining. Therefore it is raining.
p or q. r <-> q. p -> s. s -> r. Therefore r.