Translate the following inference to logic notation: It is windy. For all x, if x_16 drives a car, then x_16 is cooking. Charles is not cooking. Therefore it is windy.
p. forall x: P(x) -> Q(x). ~Q(a). Therefore p.