Translate the following inference to logic notation: If Charles doesn't drink water, then it is windy. If Charles drinks water, then Karen is not running. Karen is running. If it is windy, then Sarah is a nurse. Therefore Sarah is a nurse.
~p -> q. p -> ~r. r. q -> s. Therefore s.