Just a quick point.
XOR's formula is counting the number of Yess in row 2 and the relevant row. As far as I can see it won't take into account the last condition in your #5 which I assume to mean that there must be a Yes in the same column on each row for each Yes column in Row 2.
Or maybe I'm missing something.
Bookmarks