Translate the following inference to logic notation: For all x, y_3 is not a bartender. If it is windy, then it is snowing. If it snows, then Charles is a bartender. It is overcast. Therefore it is overcast and it is not windy.
forall x: ~P(x). p -> q. q -> P(a). r. Therefore r and ~p.