Translate the following inference to logic notation: If Barbara were a bartender, then it is windy. If it is overcast, then it is windy. For all x, y is a bartender. Therefore it is windy.
P(a) -> p. q -> p. forall x: P(x). Therefore p.