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