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

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

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