Here are the rules:
1) J
S → K
R; K
S → J
R (contrapositive)
2) J
R → O
S; O
R → J
S (contrapositive)
3.1) L
S → N
R; N
S → L
R (contrapositive)
3.2) L
S → P
R; P
S → L
R (contrapositive)
4) N
R → O
R; O
S → N
S (contrapositive)
5.1) P
R → K
S; K
R → P
S (contrapositive)
5.2) P
R → O
S; O
R → P
S (contrapositive)
You can break up the third and fifth rules for easier tracking. Once you chain everything up, you should end up with something like the following:
It's easiest to create the first chain and then flip and negate everything to obtain the second chain. Because L
S leads to L
R in both cases, we can infer that L must be assigned to Randsborough. This is not a common inference for an In/Out Grouping game. To see why N and P cannot both be at Randsborough, start from one of the two being assigned there. In the first chain, P
R leads to N
S, and in the second chain, N
R leads to P
S.
Discussion
Resources
