*SUPPORT*
IN: tufa wif dax OUT: RED PINK
IN: kiki zup dax wif dax OUT: PURPLE YELLOW PINK PINK
IN: dax OUT: PINK
IN: zup tufa OUT: YELLOW RED
IN: zup OUT: YELLOW
IN: tufa gazzer kiki gazzer kiki dax wif zup OUT: RED PURPLE PURPLE PINK YELLOW
IN: kiki tufa wif tufa OUT: PURPLE RED RED
IN: dax wif zup OUT: PINK YELLOW
IN: kiki gazzer zup zup OUT: PURPLE YELLOW YELLOW
IN: kiki wif dax OUT: PURPLE PINK
IN: kiki gazzer kiki gazzer dax OUT: PURPLE PURPLE PINK
IN: kiki lug zup OUT: YELLOW PURPLE
IN: dax lug kiki OUT: PURPLE PINK
IN: dax tufa gazzer dax wif dax OUT: PINK RED PINK PINK

*QUERY*
IN: dax kiki lug tufa wif dax OUT: RED PINK PURPLE PINK
IN: kiki dax OUT: PURPLE PINK
IN: tufa OUT: RED
IN: kiki gazzer kiki lug zup gazzer zup OUT: PURPLE YELLOW YELLOW PURPLE
IN: kiki OUT: PURPLE
IN: kiki wif dax lug tufa wif tufa OUT: RED PURPLE PINK RED
IN: dax gazzer tufa OUT: PINK RED
IN: tufa tufa dax wif tufa wif tufa OUT: RED RED PINK RED RED
IN: zup gazzer kiki wif dax OUT: YELLOW PURPLE PINK
IN: dax zup kiki lug dax OUT: PINK PINK YELLOW PURPLE

*GRAMMAR*
dax -> PINK 
 zup -> YELLOW 
 kiki -> PURPLE 
 tufa -> RED 
 u1 gazzer x1 -> [u1] [x1] 
 x1 wif u1 -> [x1] [u1] 
 x1 lug x2 -> [x2] [x1] 
 u1 x1 -> [u1] [x1] 
 