*SUPPORT*
IN: wif zup tufa gazzer OUT: PINK BLUE GREEN
IN: zup tufa wif tufa fep blicket OUT: PURPLE BLUE GREEN PURPLE BLUE GREEN
IN: wif blicket blicket OUT: BLUE BLUE BLUE BLUE
IN: zup blicket OUT: GREEN GREEN
IN: wif dax OUT: BLUE BLUE
IN: gazzer fep tufa fep blicket OUT: PURPLE PINK PURPLE PURPLE PINK PURPLE
IN: zup blicket dax tufa wif OUT: BLUE GREEN GREEN GREEN GREEN
IN: wif gazzer fep tufa zup tufa zup OUT: GREEN GREEN BLUE PINK PURPLE
IN: gazzer tufa fep tufa gazzer dax OUT: PINK PURPLE PINK PINK PURPLE PINK
IN: gazzer OUT: PINK
IN: wif OUT: BLUE
IN: gazzer wif wif fep blicket OUT: PINK BLUE BLUE PURPLE PINK BLUE BLUE PURPLE
IN: gazzer dax tufa fep tufa fep OUT: PURPLE PURPLE PINK PINK
IN: gazzer wif dax tufa fep tufa gazzer OUT: PINK PURPLE PINK BLUE PINK BLUE

*QUERY*
IN: wif wif tufa gazzer blicket OUT: PINK BLUE BLUE PINK BLUE BLUE
IN: zup OUT: GREEN
IN: wif wif OUT: BLUE BLUE
IN: gazzer tufa zup blicket OUT: GREEN PINK GREEN PINK
IN: fep fep OUT: PURPLE PURPLE
IN: wif gazzer dax OUT: BLUE PINK BLUE PINK
IN: zup dax tufa fep OUT: PURPLE GREEN GREEN
IN: wif gazzer tufa gazzer blicket OUT: PINK BLUE PINK PINK BLUE PINK
IN: zup dax dax OUT: GREEN GREEN GREEN GREEN
IN: fep OUT: PURPLE

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