... one with Qnot3 (therefore triggering Q-S). By doing this, ... rule; the result is Q-X-S-Y (the ... between J (1) and Q (3) other than Y, ... and R must go after Q, otherwise we would violate ... conditional rule leaving us with Q-X-S-Y. This ... S3 is in 18. S4 is in 21. We don ...