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