Translate the following inference to logic notation: Thomas is working. It is not cold. For all x, if x_23 works, then x_23 is an astronaut. It is cold if and only if Karen is fast. Therefore Karen is not fast and Thomas is an astronaut.
P(a). ~p. forall x: P(x) -> Q(x). p <-> q. Therefore ~q and Q(a).