Translate the following inference to logic notation: For all x, if x_5 were a lawyer, then x_5 is a scientist. For all x, x_5 is a lawyer or x_5 is curious. For all x, x_5 will sleep if and only if x_5 is curious. For all x, if x_5 were a scientist, then x_5 is sleeping. Therefore for all x, x_5 will sleep.
forall x: P(x) -> Q(x). forall x: P(x) or R(x). forall x: S(x) <-> R(x). forall x: Q(x) -> S(x). Therefore forall x: S(x).