The DOMAIN RULEs: IF X5 and X8 and (NOT X12) and X19 and (NOT X22) and (NOT X24) THEN it is a positive instance. IF (NOT X4) and (NOT X13) and X18 and (NOT X19) and (NOT X22) THEN it is a positive instance. IF X4 and (NOT X5) and X6 and X9 and (NOT X11) and X14 and X19 and (NOT X22) THEN it is a positive instance. IF X1 and X6 and X10 and X15 and X22 THEN it is a positive instance. IF X2 and X3 and X7 and X8 and X9 and (NOT X12) and (NOT X16) and X22 THEN it is a positive instance. IF (NOT X6) and (NOT X7) and X14 and X15 and X19 and (NOT X20) and X21 and X23 THEN it is a positive instance. IF (NOT X1) and X2 and (NOT X4) and (NOT X8) and (NOT X9) and (NOT X11) and X16 and (NOT X21) THEN it is a positive instance. IF X5 and (NOT X13) and (NOT X14) and (NOT X18) and (NOT X19) and X24 THEN it is a positive instance. IF X3 and X8 and (NOT X9) and (NOT X10) and (NOT X11) and X13 and (NOT X18) and (NOT X25) THEN it is a positive instance. IF X2 and (NOT X7) and (NOT X8) and (NOT X11) and X12 and X18 THEN it is a positive instance. IF (NOT X5) and (NOT X8) and X11 and X13 and X15 and (NOT X19) and X25 THEN it is a positive instance. IF (NOT X6) and X11 and X14 and X19 and X24 THEN it is a positive instance. IF (NOT X13) and (NOT X16) and (NOT X20) and X21 and (NOT X23) THEN it is a positive instance. IF (NOT X5) and X6 and X8 and X14 and (NOT X18) and (NOT X20) and X21 and X23 and (NOT X24) THEN it is a positive instance. IF X7 and X9 and (NOT X11) and (NOT X13) and X16 THEN it is a positive instance.