Translate the following inference to logic notation: If it snows, then Barbara is a doctor. For all x, x_24 is not a taxi driver. Patricia is a taxi driver or Barbara is not a doctor. James is working. Therefore it is not snowing and James is working.
p -> q. forall x: ~P(x). P(a) or ~q. r. Therefore ~p and r.