Translate the following inference to logic notation: For all x, if x_10 were a sailor, then x_10 is bored. For all x, if x_10 were bored, then x_10 is a sailor. If Jennifer were bored, then it is cloudy. Therefore if Jennifer were a sailor, then it is cloudy.
forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). Q(a) -> p. Therefore P(a) -> p.