*SUPPORT*
IN: wif OUT: RED
IN: wif lug tufa gazzer OUT: RED YELLOW RED RED YELLOW RED
IN: dax fep blicket OUT: PURPLE GREEN PURPLE GREEN PURPLE GREEN
IN: wif blicket OUT: RED RED RED
IN: dax gazzer OUT: PURPLE PURPLE
IN: dax wif OUT: PURPLE RED
IN: tufa wif blicket OUT: YELLOW RED YELLOW RED YELLOW RED
IN: dax OUT: PURPLE
IN: tufa fep fep OUT: YELLOW GREEN GREEN
IN: dax fep lug tufa OUT: PURPLE GREEN YELLOW PURPLE GREEN
IN: dax lug wif wif OUT: PURPLE RED RED PURPLE
IN: tufa OUT: YELLOW
IN: wif lug wif lug tufa OUT: RED RED RED YELLOW RED RED RED
IN: wif lug wif lug fep OUT: RED RED RED GREEN RED RED RED

*QUERY*
IN: tufa wif tufa OUT: YELLOW RED YELLOW
IN: tufa blicket lug tufa OUT: YELLOW YELLOW YELLOW YELLOW YELLOW YELLOW YELLOW
IN: fep OUT: GREEN
IN: fep fep lug tufa OUT: GREEN GREEN YELLOW GREEN GREEN
IN: wif lug tufa OUT: RED YELLOW RED
IN: fep gazzer blicket OUT: GREEN GREEN GREEN GREEN GREEN GREEN
IN: fep fep OUT: GREEN GREEN
IN: fep gazzer OUT: GREEN GREEN
IN: wif wif fep wif OUT: RED RED GREEN RED
IN: wif wif OUT: RED RED

*GRAMMAR*
tufa -> YELLOW 
 wif -> RED 
 fep -> GREEN 
 dax -> PURPLE 
 x1 blicket -> [x1] [x1] [x1] 
 x1 gazzer -> [x1] [x1] 
 x1 lug x2 -> [x1] [x2] [x1] 
 u1 x1 -> [u1] [x1] 
 