*SUPPORT*
IN: tufa OUT: PINK
IN: tufa wif OUT: PINK GREEN
IN: wif lug dax tufa OUT: GREEN RED PINK
IN: tufa fep gazzer wif gazzer fep OUT: BLUE GREEN PINK BLUE
IN: fep fep gazzer fep gazzer lug OUT: RED BLUE BLUE BLUE
IN: tufa dax tufa gazzer wif OUT: GREEN PINK PINK
IN: wif tufa OUT: GREEN PINK
IN: tufa kiki lug kiki lug OUT: PINK RED RED
IN: lug lug dax tufa OUT: RED RED PINK
IN: wif dax lug gazzer fep OUT: BLUE GREEN RED
IN: fep lug dax lug gazzer fep gazzer fep OUT: BLUE BLUE BLUE RED RED
IN: tufa dax fep kiki fep gazzer tufa OUT: PINK PINK BLUE BLUE
IN: tufa fep dax fep OUT: PINK BLUE BLUE
IN: lug dax wif OUT: RED GREEN

*QUERY*
IN: lug OUT: RED
IN: tufa wif tufa fep kiki fep gazzer tufa OUT: PINK PINK GREEN PINK BLUE BLUE
IN: wif tufa kiki wif kiki tufa OUT: GREEN PINK GREEN PINK
IN: wif dax tufa kiki tufa gazzer tufa OUT: PINK GREEN PINK PINK
IN: tufa dax wif gazzer wif gazzer lug OUT: RED GREEN PINK GREEN
IN: lug gazzer tufa OUT: PINK RED
IN: fep OUT: BLUE
IN: wif fep dax tufa OUT: GREEN BLUE PINK
IN: tufa dax fep OUT: PINK BLUE
IN: fep dax lug gazzer tufa OUT: PINK BLUE RED

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