Translate the following inference to logic notation: Karen is not drinking water. Karen is drinking water if and only if Karen is driving a car. If it rains, then James is a sailor. James is a sailor if and only if Karen is driving a car. Therefore it is not raining.
~p. p <-> q. r -> s. s <-> q. Therefore ~r.