Translate the following inference to logic notation: If Joseph climbs a mountain, then Elisabeth is driving a car. If Thomas were an astronaut, then it is sunny. If Elisabeth drives a car, then Sarah is a musician. If it snows, then it is sunny. Thomas is an astronaut or it is snowing. Elisabeth is not driving a car. If Sarah were a musician, then Joseph is climbing a mountain. Therefore Joseph is not climbing a mountain and it is sunny.
p -> q. r -> s. q -> t. u -> s. r or u. ~q. t -> p. Therefore ~p and s.