Translate the following inference to logic notation: Richard is working if and only if Michael is driving a car. For all x, if x_15 were a police officer, then x_15 is working. It is windy if and only if Michael is driving a car. It is not windy. Therefore Richard is not a police officer.
P(a) <-> p. forall x: Q(x) -> P(x). q <-> p. ~q. Therefore ~Q(a).