*SUPPORT*
IN: wif dax lug OUT: PURPLE GREEN
IN: lug gazzer dax wif tufa lug tufa gazzer OUT: RED GREEN GREEN RED PURPLE
IN: gazzer tufa gazzer tufa blicket tufa gazzer OUT: RED BLUE RED RED
IN: wif OUT: PURPLE
IN: blicket OUT: BLUE
IN: wif wif fep lug OUT: PURPLE PURPLE GREEN
IN: blicket lug OUT: BLUE GREEN
IN: gazzer gazzer dax wif OUT: RED RED PURPLE
IN: wif lug dax lug OUT: PURPLE GREEN GREEN
IN: gazzer wif tufa wif tufa blicket OUT: BLUE PURPLE RED PURPLE
IN: blicket lug blicket OUT: BLUE GREEN BLUE
IN: gazzer lug tufa blicket OUT: BLUE RED GREEN
IN: gazzer gazzer gazzer tufa blicket dax wif OUT: BLUE RED RED RED PURPLE
IN: blicket dax gazzer tufa gazzer tufa lug OUT: GREEN RED BLUE RED

*QUERY*
IN: wif wif tufa blicket dax wif dax gazzer OUT: BLUE PURPLE PURPLE PURPLE RED
IN: lug tufa gazzer tufa gazzer dax gazzer OUT: RED RED GREEN RED
IN: gazzer lug fep wif dax wif OUT: RED GREEN PURPLE PURPLE
IN: wif tufa blicket tufa gazzer OUT: RED BLUE PURPLE
IN: gazzer wif dax blicket OUT: RED PURPLE BLUE
IN: gazzer OUT: RED
IN: blicket lug tufa gazzer OUT: RED BLUE GREEN
IN: lug OUT: GREEN
IN: gazzer lug dax gazzer OUT: RED GREEN RED
IN: wif wif fep blicket tufa gazzer OUT: PURPLE PURPLE RED BLUE

*GRAMMAR*
gazzer -> RED 
 blicket -> BLUE 
 wif -> PURPLE 
 lug -> GREEN 
 x1 fep x2 -> [x1] [x2] 
 x1 tufa u1 -> [u1] [x1] 
 x1 dax u1 -> [x1] [u1] 
 u1 x1 -> [u1] [x1] 
 