*SUPPORT*
IN: kiki zup kiki OUT: PINK PINK
IN: blicket kiki tufa wif OUT: PURPLE GREEN PINK GREEN
IN: blicket kiki tufa wif zup blicket OUT: PURPLE GREEN PINK GREEN PURPLE
IN: blicket OUT: PURPLE
IN: wif tufa blicket OUT: PURPLE GREEN PURPLE
IN: lug wif tufa wif OUT: RED GREEN GREEN GREEN
IN: wif wif OUT: GREEN GREEN
IN: blicket tufa kiki zup kiki OUT: PINK PURPLE PINK PINK
IN: lug blicket tufa lug zup blicket OUT: RED RED PURPLE RED PURPLE
IN: wif tufa wif OUT: GREEN GREEN GREEN
IN: wif tufa lug zup blicket OUT: RED GREEN RED PURPLE
IN: blicket blicket zup kiki OUT: PURPLE PURPLE PINK
IN: lug wif lug tufa kiki zup wif OUT: RED GREEN PINK RED PINK GREEN
IN: lug gazzer OUT: RED RED RED RED

*QUERY*
IN: lug kiki gazzer OUT: RED PINK RED PINK RED PINK RED PINK
IN: blicket kiki OUT: PURPLE PINK
IN: lug zup kiki OUT: RED PINK
IN: wif zup blicket OUT: GREEN PURPLE
IN: wif OUT: GREEN
IN: lug tufa kiki OUT: PINK RED PINK
IN: kiki tufa blicket zup kiki OUT: PURPLE PINK PURPLE PINK
IN: lug zup blicket OUT: RED PURPLE
IN: kiki OUT: PINK
IN: lug blicket tufa wif zup lug OUT: RED GREEN PURPLE GREEN RED

*GRAMMAR*
lug -> RED 
 blicket -> PURPLE 
 kiki -> PINK 
 wif -> GREEN 
 u1 tufa u2 -> [u2] [u1] [u2] 
 x1 zup u1 -> [x1] [u1] 
 x1 gazzer -> [x1] [x1] [x1] [x1] 
 u1 x1 -> [u1] [x1] 
 