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