Translate the following inference to logic notation: Robert is a doctor if and only if Charles is a police officer. If David plays tennis, then William is bored. Robert is a doctor if and only if David is playing tennis. If Patricia drives a car, then Charles is a police officer. Therefore if Patricia drives a car, then William is bored.
p <-> q. r -> s. p <-> r. t -> q. Therefore t -> s.