Translate the following inference to logic notation: If Patricia were a scientist, then William is a doctor. Patricia is a scientist or Susan is not playing tennis. If William were a doctor, then Susan is playing tennis. Therefore if Susan plays tennis, then Patricia is a scientist.
p -> q. p or ~r. q -> r. Therefore r -> p.