Translate the following inference to logic notation: For all x, if x_13 were a server, then x_13 is sleeping. Linda is not an astronaut. If John sleeps, then John is a mechanic. For all x, if x_13 were a mechanic, then x_13 is a server. Linda is an astronaut if and only if John is a mechanic. Therefore John is not sleeping.
forall x: P(x) -> Q(x). ~p. Q(a) -> R(a). forall x: R(x) -> P(x). p <-> R(a). Therefore ~Q(a).