Translate the following inference to logic notation: If it rains, then Elisabeth is rich. Elisabeth is rich if and only if it is cold. If David were an astronaut, then Elisabeth is rich. David is an astronaut or it is raining. Therefore it is cold.
p -> q. q <-> r. s -> q. s or p. Therefore r.