Translate the following inference to logic notation: If it is sunny, then Joseph is an astronaut. If Joseph were an astronaut, then Elisabeth is climbing a mountain. Elisabeth is not climbing a mountain. Therefore it is not sunny.
p -> q. q -> r. ~r. Therefore ~p.