Translate the following inference to logic notation: If it rains, then Jennifer is a politician. Joseph is poor. Jennifer is not a politician. If Joseph were poor, then it is raining. Therefore Joseph is playing squash.
p -> q. r. ~q. r -> p. Therefore s.