*SUPPORT*
IN: gazzer kiki blicket dax wif OUT: YELLOW PINK GREEN
IN: lug wif tufa gazzer OUT: GREEN BLUE PINK
IN: wif wif gazzer tufa wif OUT: PINK PINK PINK GREEN
IN: lug tufa lug OUT: BLUE BLUE
IN: gazzer lug wif tufa blicket OUT: YELLOW GREEN BLUE PINK
IN: wif kiki gazzer lug OUT: GREEN BLUE PINK
IN: wif wif OUT: PINK PINK
IN: wif lug tufa gazzer tufa wif OUT: PINK GREEN PINK BLUE
IN: blicket OUT: YELLOW
IN: wif tufa blicket OUT: YELLOW PINK
IN: wif OUT: PINK
IN: gazzer dax gazzer tufa lug OUT: BLUE GREEN GREEN
IN: gazzer gazzer tufa lug OUT: BLUE GREEN GREEN
IN: blicket blicket dax wif OUT: YELLOW YELLOW PINK

*QUERY*
IN: wif dax gazzer dax gazzer OUT: PINK GREEN GREEN
IN: lug OUT: BLUE
IN: wif dax blicket dax lug dax lug OUT: PINK YELLOW BLUE BLUE
IN: blicket dax lug tufa wif dax blicket OUT: PINK YELLOW BLUE YELLOW
IN: blicket tufa wif OUT: PINK YELLOW
IN: blicket dax blicket OUT: YELLOW YELLOW
IN: gazzer tufa blicket OUT: YELLOW GREEN
IN: gazzer OUT: GREEN
IN: blicket tufa wif tufa gazzer OUT: GREEN PINK YELLOW
IN: blicket blicket kiki blicket gazzer dax blicket OUT: YELLOW GREEN YELLOW YELLOW YELLOW

*GRAMMAR*
wif -> PINK 
 gazzer -> GREEN 
 lug -> BLUE 
 blicket -> YELLOW 
 x1 tufa u1 -> [u1] [x1] 
 x1 kiki x2 -> [x2] [x1] 
 x1 dax u1 -> [x1] [u1] 
 u1 x1 -> [u1] [x1] 
 