Translate the following inference to logic notation: It is cloudy. Richard is an astronaut if and only if David is running. If it is cloudy, then David is running. Therefore Richard is an astronaut.
p. q <-> r. p -> r. Therefore q.