Translate the following inference to logic notation: If James plays squash, then William is playing a game. If Robert goes running, then James is playing squash. It is raining. If William plays a game, then it is not raining. Therefore Robert is not running.
p -> q. r -> p. s. q -> ~s. Therefore ~r.