Translate the following inference to logic notation: For all x, x_20 will drive a car if and only if x_20 will make tea. If it snows, then John is driving a car. John is not making tea. Therefore it is not snowing or Joseph is a cashier.
forall x: P(x) <-> Q(x). p -> P(a). ~Q(a). Therefore ~p or q.