*SUPPORT*
IN: lug fep wif zup OUT: PINK GREEN YELLOW
IN: zup wif zup tufa zup OUT: YELLOW YELLOW YELLOW
IN: zup tufa zup wif lug OUT: YELLOW YELLOW PINK
IN: lug gazzer wif zup OUT: PINK PURPLE YELLOW
IN: lug OUT: PINK
IN: gazzer dax gazzer tufa fep OUT: PURPLE PURPLE GREEN
IN: fep OUT: GREEN
IN: zup dax gazzer OUT: PURPLE YELLOW
IN: zup OUT: YELLOW
IN: zup fep OUT: YELLOW GREEN
IN: zup wif gazzer wif gazzer fep tufa gazzer OUT: YELLOW PURPLE PURPLE GREEN PURPLE
IN: gazzer wif fep OUT: PURPLE GREEN
IN: gazzer OUT: PURPLE
IN: zup wif fep OUT: YELLOW GREEN

*QUERY*
IN: lug zup wif fep gazzer OUT: PINK YELLOW GREEN PURPLE
IN: gazzer dax zup wif fep OUT: YELLOW GREEN PURPLE
IN: gazzer gazzer lug lug tufa lug fep OUT: PURPLE PURPLE PINK PINK PINK GREEN
IN: zup fep dax lug OUT: PINK YELLOW GREEN
IN: gazzer fep gazzer wif lug fep wif lug OUT: PURPLE GREEN PURPLE PINK GREEN PINK
IN: fep wif lug gazzer lug OUT: GREEN PINK PURPLE PINK
IN: gazzer fep OUT: PURPLE GREEN
IN: fep wif fep OUT: GREEN GREEN
IN: fep lug OUT: GREEN PINK
IN: fep wif zup lug OUT: GREEN YELLOW PINK

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