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