*SUPPORT*
IN: kiki wif lug zup lug zup OUT: RED RED YELLOW GREEN
IN: tufa OUT: PINK
IN: kiki OUT: YELLOW
IN: wif kiki OUT: GREEN YELLOW
IN: zup blicket kiki OUT: RED YELLOW
IN: kiki dax zup dax kiki dax zup OUT: RED YELLOW RED YELLOW
IN: wif kiki dax tufa lug kiki OUT: YELLOW PINK GREEN YELLOW
IN: zup kiki lug tufa dax zup OUT: RED PINK RED YELLOW
IN: tufa blicket tufa kiki lug wif OUT: GREEN PINK PINK YELLOW
IN: kiki lug zup OUT: RED YELLOW
IN: zup kiki dax zup dax kiki OUT: YELLOW RED RED YELLOW
IN: wif OUT: GREEN
IN: kiki blicket tufa lug wif dax tufa OUT: PINK GREEN YELLOW PINK
IN: kiki zup OUT: YELLOW RED

*QUERY*
IN: tufa tufa OUT: PINK PINK
IN: zup lug wif lug tufa dax tufa OUT: PINK PINK GREEN RED
IN: zup wif OUT: RED GREEN
IN: zup tufa dax tufa lug zup OUT: RED PINK RED PINK
IN: zup zup OUT: RED RED
IN: wif lug tufa OUT: PINK GREEN
IN: wif dax wif OUT: GREEN GREEN
IN: zup OUT: RED
IN: zup lug zup OUT: RED RED
IN: tufa zup blicket kiki wif OUT: PINK RED YELLOW GREEN

*GRAMMAR*
kiki -> YELLOW 
 tufa -> PINK 
 wif -> GREEN 
 zup -> RED 
 x1 lug u1 -> [u1] [x1] 
 x1 dax u1 -> [u1] [x1] 
 u1 blicket x1 -> [u1] [x1] 
 u1 x1 -> [u1] [x1] 
 