Translate the following inference to logic notation: If Richard were a poet, then it is windy. For all x, if x_15 works, then x_15 is drinking water. If it is windy, then Thomas is working. If Thomas drinks water, then it is cloudy. If it is overcast, then Richard is a poet. Therefore if it is overcast, then it is cloudy.
p -> q. forall x: P(x) -> Q(x). q -> P(a). Q(a) -> r. s -> p. Therefore s -> r.