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

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

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