Translate the following inference to logic notation: Robert is fast if and only if Jennifer is an astronaut. It is cloudy or Jennifer is not an astronaut. Therefore if Robert were fast, then it is cloudy.
p <-> q. r or ~q. Therefore p -> r.