The DOMAIN RULEs: 

IF 
   X4 and 
   X5 and 
   (NOT X11) and 
   X13 and 
   X14 and 
   X15 

THEN it is a positive instance. 


IF 
   X1 and 
   X11 and 
   X13 and 
   X20 and 
   (NOT X21) and 
   X22 

THEN it is a positive instance. 


IF 
   (NOT X5) and 
   X6 and 
   X8 and 
   X13 and 
   X16 and 
   (NOT X24) 

THEN it is a positive instance. 


IF 
   X2 and 
   X5 and 
   X6 and 
   X8 and 
   X16 and 
   X22 and 
   (NOT X23) 

THEN it is a positive instance. 


IF 
   (NOT X2) and 
   X4 and 
   (NOT X6) and 
   X8 and 
   X12 and 
   X25 

THEN it is a positive instance.