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

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

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