Ahh I see, thanks for the clarification!

Hi there, some clarification on Q2 would be appreciated.

The question presents us with the following conditions:

#1. Joffrey must kill Bran or Robb.

#2. If he doesn't kill Arya, he cannot kill Robb.

#3. He cannot kill both Arya and Sansa.

#4. If he doesn't kill Robb, he must kill Jon.

Am I correct by saying that it is NOT possible to chain these conditions if you decide to kill Bran at the start? It would be impossible to link 1 & 2 here:

#1. B -> /R (Contra: R -> /B)

#2. /A -> /R (Contra: R -> A)

Since Joffrey must kill Bran or Robb, that means it is a necessary assumption as a result of the word "Must". Does that mean I can write the condition in 1 of 4 ways (including the contras) and choose the one that suits my need to chain with #2 (Swapping the sufficient for the necessary)?

#1a) B -> /R (Contra: R -> /B)

#1b) /B -> R (Contra: /R -> B)

#2. /A -> /R (Contra: R -> A)

By using #1b and the contra of #2, the link is: /B -> R -> A.

But then this leaves me with the same problem, now trying to link the contra of #2 with #3 in the case I decide to not kill Arya:

#2. (Contra: R -> A)

#3. /A -> S (Contra: /S -> A)

Since Joffrey cannot kill both Arya or Sansa, does that mean I can write the condition in 1 of 4 ways (including the contras) and choose the one that suits my need to chain with #2 (Swapping the sufficient for the necessary)?

#2. (Contra: R -> A)

#3a) /A -> S (Contra: /S -> A)

#3b) A -> /S (Contra: S -> /A)

By using contra of #2 and #3b, the link is now: /B -> R -> A -> /S

Thank you

Interested!