Translate the following inference to logic notation: If Robert were curious, then it is windy. For all x, if x were rich, then x is curious. Therefore if Robert were rich, then it is windy.
P(a) -> p. forall x: Q(x) -> P(x). Therefore Q(a) -> p.