*SUPPORT*
IN: lug OUT: PINK
IN: lug zup blicket OUT: GREEN PINK
IN: blicket dax dax zup lug OUT: PINK GREEN BLUE BLUE
IN: lug tufa OUT: PINK PINK
IN: lug wif lug OUT: PINK PINK
IN: blicket wif dax blicket zup lug tufa OUT: PINK BLUE GREEN GREEN PINK BLUE GREEN GREEN
IN: lug blicket wif lug tufa OUT: PINK PINK GREEN PINK PINK GREEN
IN: kiki lug kiki tufa zup blicket OUT: GREEN PURPLE PINK PURPLE PURPLE PINK PURPLE
IN: lug dax zup dax OUT: BLUE PINK BLUE
IN: kiki OUT: PURPLE
IN: blicket kiki OUT: GREEN PURPLE
IN: kiki lug tufa OUT: PURPLE PINK PURPLE PINK
IN: kiki blicket wif kiki zup blicket OUT: GREEN PURPLE PURPLE GREEN
IN: blicket dax zup dax zup blicket OUT: GREEN BLUE GREEN BLUE

*QUERY*
IN: dax OUT: BLUE
IN: lug kiki lug OUT: PINK PURPLE PINK
IN: kiki kiki kiki blicket OUT: PURPLE PURPLE PURPLE GREEN
IN: lug wif kiki tufa tufa OUT: PURPLE PINK PURPLE PINK PURPLE PINK PURPLE PINK
IN: kiki zup lug tufa OUT: PINK PURPLE PINK PURPLE
IN: dax tufa zup lug OUT: PINK BLUE BLUE
IN: dax dax kiki zup blicket zup kiki OUT: PURPLE GREEN BLUE BLUE PURPLE
IN: kiki blicket OUT: PURPLE GREEN
IN: blicket OUT: GREEN
IN: kiki tufa OUT: PURPLE PURPLE

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