Translate the following inference to logic notation: For all x, if x_13 were fast, then x_13 is a poet. James is not bored. James is bored if and only if Charles is a poet. For all x, if x_13 were a poet, then x_13 is fast. Therefore Charles is not fast.
forall x: P(x) -> Q(x). ~p. p <-> Q(a). forall x: Q(x) -> P(x). Therefore ~P(a).