Translate the following inference to logic notation: For all x, y is not a musician. For all x, y will play a game if and only if y is a poet. For all x, y will play a game if and only if y will sleep. For all x, y will sleep if and only if y is a musician. Therefore for all x, y is not a poet.
forall x: ~P(x). forall x: Q(x) <-> R(x). forall x: Q(x) <-> S(x). forall x: S(x) <-> P(x). Therefore forall x: ~R(x).