*SUPPORT*
IN: lug zup lug OUT: PINK PINK PINK PINK
IN: tufa wif wif dax gazzer wif OUT: YELLOW GREEN YELLOW YELLOW YELLOW YELLOW
IN: fep OUT: RED
IN: fep zup fep OUT: RED RED RED RED
IN: tufa zup lug OUT: PINK PINK GREEN GREEN
IN: lug zup tufa gazzer lug OUT: PINK GREEN GREEN PINK PINK
IN: lug tufa dax gazzer wif OUT: YELLOW PINK GREEN GREEN GREEN
IN: tufa dax OUT: GREEN GREEN GREEN
IN: wif gazzer tufa OUT: GREEN YELLOW
IN: wif zup tufa OUT: GREEN GREEN YELLOW YELLOW
IN: lug zup fep OUT: RED RED PINK PINK
IN: tufa lug OUT: GREEN PINK
IN: fep gazzer wif OUT: YELLOW RED
IN: tufa zup tufa OUT: GREEN GREEN GREEN GREEN

*QUERY*
IN: lug zup wif OUT: YELLOW YELLOW PINK PINK
IN: wif tufa tufa gazzer lug OUT: PINK YELLOW GREEN GREEN
IN: wif zup lug OUT: PINK PINK YELLOW YELLOW
IN: wif fep gazzer tufa OUT: GREEN YELLOW RED
IN: fep dax OUT: RED RED RED
IN: wif zup fep OUT: RED RED YELLOW YELLOW
IN: lug tufa zup fep gazzer tufa gazzer wif OUT: YELLOW GREEN PINK RED RED GREEN GREEN
IN: fep zup lug OUT: PINK PINK RED RED
IN: lug gazzer tufa gazzer wif gazzer tufa OUT: GREEN YELLOW GREEN PINK
IN: lug dax OUT: PINK PINK PINK

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