The DOMAIN RULEs: 

IF 
   X1 and 
   X17 and 
   (NOT X21) and 
   (NOT X25) 

THEN it is a positive instance. 


IF 
   X1 and 
   X3 and 
   X7 and 
   (NOT X8) and 
   X10 and 
   (NOT X14) and 
   X20 

THEN it is a positive instance. 


IF 
   X2 and 
   X5 and 
   X11 and 
   X17 and 
   (NOT X18) 

THEN it is a positive instance. 


IF 
   (NOT X2) and 
   (NOT X7) and 
   X22 and 
   X24 and 
   (NOT X25) 

THEN it is a positive instance. 


IF 
   (NOT X3) and 
   X4 and 
   X5 and 
   X10 and 
   X23 

THEN it is a positive instance. 


IF 
   X3 and 
   (NOT X4) and 
   X9 and 
   X10 and 
   X11 and 
   (NOT X12) and 
   (NOT X15) 

THEN it is a positive instance. 


IF 
   (NOT X2) and 
   X4 and 
   (NOT X12) and 
   (NOT X13) and 
   (NOT X15) and 
   X23 

THEN it is a positive instance. 


IF 
   X1 and 
   (NOT X6) and 
   (NOT X14) and 
   (NOT X17) and 
   (NOT X21) 

THEN it is a positive instance. 


IF 
   (NOT X3) and 
   (NOT X7) and 
   (NOT X15) and 
   X17 and 
   X23 and 
   (NOT X24) 

THEN it is a positive instance. 


IF 
   (NOT X3) and 
   X6 and 
   X16 and 
   (NOT X18) and 
   (NOT X25) 

THEN it is a positive instance. 


IF 
   X3 and 
   (NOT X6) and 
   (NOT X9) and 
   X13 and 
   X21 and 
   (NOT X24) 

THEN it is a positive instance. 


IF 
   X1 and 
   (NOT X11) and 
   (NOT X12) and 
   X14 and 
   (NOT X17) and 
   X19 and 
   (NOT X21) 

THEN it is a positive instance. 


IF 
   X7 and 
   (NOT X8) and 
   (NOT X17) and 
   X18 

THEN it is a positive instance. 


IF 
   (NOT X2) and 
   X4 and 
   (NOT X6) and 
   X7 and 
   X9 and 
   X11 and 
   X17 and 
   X19 and 
   (NOT X20) and 
   (NOT X21) 

THEN it is a positive instance.