Will the Real Slim Shady Symbolizations Please Stand Up?

P:  Eminem is the real Slim Shady.

Q:  Eminem wins a Grammy.

R:  Eminem is a rapper.

S:  Christina Aguilera is the real Slim Shady.

T:  Christina Aguilera wins a Grammy.

U:  Christina Aguilera is a rapper.

V:  Eminem is misogynistic.

W:  Eminem is controversial.

1. Eminem, who is a rapper, is controversial if he is misogynistic.

2. Unlike Eminem, Christina Aguilera is not the real Slim Shady.

3. Only one of Eminem and Christina Aguilera is the real Slim Shady.

4. Given that Eminem won’t win a Grammy if he is controversial and misogynistic, he won’t win a Grammy.

5. Eminem’s being misogynistic is sufficient but not necessary for him to be controversial.

6. If Eminem’s being controversial is either necessary or sufficient for him to be the real Slim Shady, then he is the real Slim Shady.

7. Eminem is the real Slim Shady provided that Christina Aguilera is not.

8. If Eminem and Christina Aguilera are both rappers, then they will both win Grammys if either of them does.

9. Only on the condition that neither Eminem nor Christina Aguilera is a rapper will they both win Grammys, assuming that at least one of them is the real Slim Shady.

10. Assuming that Christina Aguilera fails to be the real Slim Shady, she won’t win a Grammy unless she is a rapper.

11. Unless Eminem, who is a rapper, is the real Slim Shady, it’s not the case that he is both controversial and misogynistic.

12. If Eminem is misogynistic if and only if he is a rapper, then his being controversial would imply that he will not win a Grammy.