Translate the following inference to logic notation: It is windy or Michael is drinking water. If it is windy, then Michael is fast. Robert is a poet. For all x, if x_14 drinks water, then x_14 is fast. Therefore Michael is fast and Robert is a poet.
p or P(a). p -> Q(a). q. forall x: P(x) -> Q(x). Therefore Q(a) and q.