Looks like something happened to that since it was posted. I will post my set up until another one is put back up.
My comments on the set up will be below.

The checkmarks denote that the variable was discussed in the rules.
I have a multi-row setup to show files 1-8, both to denote the file and the color.
As you can tell from the rules, file 1 will be either green or yellow.
As for the rule discussing HO and XV, I diagrammed it like this:
I know that we cannot have HO, it must be at least H_O, which is the same deal with X_V.
I denoted a "+1?" above the space to show that we can make that separation larger if we wanted, we just have to have that one space at least.
I also marked it with words stating that this pair will be equal in terms of separation.