Translate the following inference to logic notation: It is not snowing. If it is windy, then Joseph is taking a plane. If Joseph takes a plane, then it is snowing. If it snows, then Joseph is taking a plane. John is curious. Therefore it is not windy and John is curious.
~p. q -> r. r -> p. p -> r. s. Therefore ~q and s.