For each of the following English sentences, provide a translation into PL, using the following translation key (ignore issues of tense for now): (you may use parentheses dropping conventions.) Ix: x sits on the iron throne Kxy: x kills y Dxy: x drinks with y Pxy: x plots with y Fxy: x is friends with y a: Arya t: Tyrion c: Cersei b: Lord Balish s: John Snow 1. Tyrion has a drink with John Snow.
2. Tyrion does not drink with Cersei.
3. Cersei kills Tyrion, unless Tyrion plots with John Snow.
4. If Cersei kills John Snow, then Arya kills Cersei and Lord Balish.
5. Neither Lord Balish nor Tyrion are friends with Cersei.
6. Lord Balish plots with Cersei, but they are not friends.
7. Tyrion is friends with John Snow if and only if John Snow Drinks with Tyrion, but Tyrion plots with John Snow regardless.
8. Cersei sits on the iron throne if both Lord Balish kills John Snow and Cersei kills Tyrion.
9. Cersei does not sit on the iron throne only if either Lord Balish kills John Snow or Cersei does not kill Tyrion.
10. If Cersei sits on the iron throne, then Arya kills Cersei if and only if Cersei kills John Snow, unless Lord Balish plots with both Tyrion and John Snow.