*SUPPORT*
IN: fep kiki dax OUT: GREEN PINK
IN: fep dax OUT: PINK GREEN
IN: fep kiki gazzer OUT: YELLOW PINK
IN: dax kiki zup OUT: PURPLE GREEN
IN: dax kiki dax OUT: GREEN GREEN
IN: fep gazzer OUT: PINK YELLOW
IN: fep kiki zup OUT: PURPLE PINK
IN: fep kiki fep OUT: PINK PINK
IN: dax OUT: GREEN
IN: fep lug zup fep kiki dax OUT: PINK PURPLE GREEN PINK
IN: gazzer gazzer kiki fep OUT: YELLOW PINK YELLOW
IN: zup lug gazzer kiki gazzer OUT: PURPLE YELLOW YELLOW
IN: zup lug fep kiki fep wif zup OUT: PURPLE PINK PINK PURPLE
IN: gazzer OUT: YELLOW

*QUERY*
IN: dax lug fep wif zup OUT: GREEN PINK PURPLE
IN: dax lug dax fep wif fep OUT: GREEN GREEN PINK PINK
IN: fep kiki gazzer wif fep wif gazzer OUT: YELLOW PINK PINK YELLOW
IN: dax lug fep OUT: GREEN PINK
IN: zup OUT: PURPLE
IN: gazzer zup lug gazzer lug gazzer OUT: YELLOW PURPLE YELLOW YELLOW
IN: fep OUT: PINK
IN: gazzer lug dax dax lug fep kiki gazzer OUT: YELLOW GREEN GREEN YELLOW PINK
IN: gazzer kiki zup wif fep wif dax OUT: PURPLE YELLOW PINK GREEN
IN: dax fep lug fep kiki zup wif dax OUT: GREEN PINK PURPLE PINK GREEN

*GRAMMAR*
gazzer -> YELLOW 
 zup -> PURPLE 
 fep -> PINK 
 dax -> GREEN 
 u1 kiki u2 -> [u2] [u1] 
 u1 lug x1 -> [u1] [x1] 
 x1 wif u1 -> [x1] [u1] 
 u1 x1 -> [u1] [x1] 
 