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

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

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