Translate the following inference to logic notation: If Sarah takes a plane, then Karen is a taxi driver. If Karen were a taxi driver, then it is not cloudy. If Karen were a taxi driver, then Sarah is taking a plane. It is cloudy and John is drinking water. Therefore Sarah is not taking a plane.
p -> q. q -> ~r. q -> p. r and s. Therefore ~p.