Translate the following inference to logic notation: If David were a taxi driver, then it is cloudy. Sarah is a janitor if and only if it is cloudy. If Sarah were a janitor, then it is cloudy. Therefore if David were a taxi driver, then Sarah is a janitor.
p -> q. r <-> q. r -> q. Therefore p -> r.