Step 2

Let's look at the first rule. Putting the "if" in the second half is a craven little sneak, akin to woefully botchable rules like "A always comes after B." So first, let's restate: If J is at S, then K is at R. Or symbolically: JS --> KR. Now, the contrapositive: -KR --> -JS, which, thanks to the binary nature of the game can be more clearly stated as KS --> JR. Put these together, and you get the knockout above.