Translate the following inference to logic notation: For all x, x will sleep. If Thomas were fast, then Barbara is not sleeping. For all x, x_7 is fast if and only if x_7 is a politician. Therefore Thomas is not a politician.
forall x: P(x). Q(a) -> ~P(b). forall x: Q(x) <-> R(x). Therefore ~R(a).