Translate the following inference to logic notation: Barbara is cooking. If James were a nurse, then Elisabeth is running. If Elisabeth goes running, then Barbara is not cooking. Charles is an astronaut. Therefore James is not a nurse and Charles is an astronaut.
p. q -> r. r -> ~p. s. Therefore ~q and s.