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

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

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