Translate the following inference to logic notation: If it snows, then Barbara is taking a plane. If Elisabeth were a nurse, then it is snowing. If Barbara takes a plane, then Sarah is not running. Sarah is running. Therefore Elisabeth is not a nurse.
p -> q. r -> p. q -> ~s. s. Therefore ~r.