*SUPPORT*
IN: wif fep gazzer OUT: RED BLUE
IN: dax zup tufa OUT: YELLOW PINK YELLOW PINK
IN: wif gazzer OUT: BLUE RED
IN: gazzer blicket wif fep zup OUT: PINK BLUE RED PINK BLUE RED RED
IN: gazzer zup zup tufa OUT: RED PINK PINK RED PINK PINK
IN: gazzer gazzer blicket wif OUT: RED BLUE RED BLUE RED RED
IN: wif gazzer fep gazzer OUT: BLUE RED RED
IN: gazzer fep dax tufa tufa OUT: YELLOW RED YELLOW RED YELLOW RED YELLOW RED
IN: dax wif OUT: YELLOW BLUE
IN: wif OUT: BLUE
IN: wif dax zup dax OUT: BLUE YELLOW PINK YELLOW
IN: gazzer zup fep wif tufa OUT: RED BLUE PINK RED BLUE PINK
IN: wif tufa OUT: BLUE BLUE
IN: wif tufa tufa OUT: BLUE BLUE BLUE BLUE

*QUERY*
IN: zup OUT: PINK
IN: gazzer OUT: RED
IN: gazzer fep gazzer tufa OUT: RED RED RED RED
IN: gazzer fep dax OUT: YELLOW RED
IN: wif fep gazzer fep gazzer fep zup OUT: PINK RED RED BLUE
IN: wif blicket dax OUT: YELLOW BLUE YELLOW BLUE BLUE
IN: zup fep gazzer fep dax wif tufa OUT: YELLOW BLUE RED PINK YELLOW BLUE RED PINK
IN: gazzer dax OUT: RED YELLOW
IN: dax OUT: YELLOW
IN: gazzer tufa OUT: RED RED

*GRAMMAR*
gazzer -> RED 
 zup -> PINK 
 dax -> YELLOW 
 wif -> BLUE 
 x1 tufa -> [x1] [x1] 
 u1 blicket x1 -> [x1] [u1] [x1] [u1] [u1] 
 u1 fep x1 -> [x1] [u1] 
 u1 x1 -> [u1] [x1] 
 