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

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

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