Hi gweatherall!
Two responses to your question,
How do we know, in this instance, that we can safely just cross off L(S) and move on?
First, in terms of how you approach the rules and inferences on logic games, to me L(S) was a pretty restrictive variable, meaning that a lot would follow if L(S) were true. Thus you might "know," or at least have a good idea, simply from looking at the rules that there might not be a lot of possibilities if L(S) were true.
Second, in terms of "knowing" as a
proof that we can safely cross of L(S) and move on, then I'd recommend just assuming L(S) were true, and testing it out in your diagram. Again, a reason for testing out L(S), given the limited amount of time you have, is that it is a restrictive variable.
If L(S) is true, this immediately gives us further information because of the 3rd rule:
L(S)
N(R) & P(R)
So thus far, if we separated doctors into Souderton and Randsborough, we'd have:
Souderton: L
Randsborough: N, P
On this game, it's important to note that these options are binary, and all doctors are used--if the doctor's not at one location, then the doctor's at the other location. We know from the 4th rule that,
N(R)
O(R)
So we'd then have:
Souderton: L
Randsborough: N, P,
O
So far that looks okay. However take a look at the 2nd rule, and its contrapositive:
2nd rule: J(R)
O(S)
Contrapositive:
O(S) J(R)
Since the options are binary and all doctors are used, then "not being in S" means "being in R," and not being in R means being in S. So another way of writing the contrapositive is:
O(R)
J(S)
Remember that we started by assuming L(S) were true--and this meant that N, P, and O were in Randsborough. So since we have O(R), we can then fill in more:
Souderton: L,
J
Randsborough: N, P, O
The 1st rule from the game tells us that J(S)
K(R), so we could plug in the last variable, K:
Souderton: L, J
Randsborough: N, P, O,
K
And that is where the problem is, which proves why L(S) can never be true/why L(R) must be true. The 5th rule of the game was:
P(R)
K(S) & O(S)
If L(S) were true, P would have to be in R, but so would K and O. In other words, L(S) being true will always conflict with that last rule, which is why it can never be the case.
Hope that helps!