VWXQ (4)
3 --- --- --- --- ---
2 --- --- --- --- ---
1 --- --- --- --- ---
F G H J K
These rules are hard to display on the message board, but let's just talk about them instead:
The first rule is simple enough and should be jotted down as a simple not law.
The second rule, that neither V nor W (and X due to the first rule) after X, could be represnted in a bunch of not laws, but you should just make it positive for the deduction that if X is in year 1 or 2, then it must be followed by Z. X, if it is followed by anything, must be followed by a Z
The third rule says that neither V nor X (nor Z) are assembled after Z. So if Z is year 1 or 2, then it must be followed by W. So, Z if it is followed by anything must be followed by a W.
The final rule restricts the amount of places you can put the Z.