*SUPPORT*
IN: lug fep lug dax zup OUT: PINK YELLOW YELLOW YELLOW
IN: wif dax zup OUT: PINK RED
IN: blicket wif dax zup OUT: PINK PURPLE RED
IN: wif blicket fep blicket dax lug OUT: YELLOW RED PURPLE PURPLE PURPLE
IN: zup lug OUT: PINK YELLOW
IN: lug fep zup dax lug OUT: YELLOW PINK PINK YELLOW
IN: lug zup blicket fep lug zup OUT: YELLOW PINK YELLOW PINK YELLOW PINK PURPLE
IN: zup tufa blicket OUT: PINK PURPLE PURPLE
IN: zup fep wif dax zup OUT: PINK RED RED PINK
IN: lug zup OUT: YELLOW PINK
IN: blicket OUT: PURPLE
IN: blicket blicket fep wif zup OUT: PURPLE RED PINK RED PINK PURPLE
IN: zup dax lug OUT: YELLOW PINK
IN: wif blicket dax zup dax blicket OUT: PURPLE PINK RED PURPLE

*QUERY*
IN: zup zup wif blicket OUT: PINK PINK RED PURPLE
IN: lug fep wif tufa lug OUT: RED RED YELLOW YELLOW YELLOW
IN: zup OUT: PINK
IN: zup dax wif OUT: RED PINK
IN: wif fep lug lug dax zup OUT: PINK YELLOW YELLOW YELLOW YELLOW RED
IN: lug zup wif fep zup dax blicket OUT: PURPLE YELLOW PINK PINK PINK RED
IN: wif OUT: RED
IN: zup fep blicket tufa lug OUT: PURPLE PURPLE PINK YELLOW YELLOW
IN: lug OUT: YELLOW
IN: zup lug dax wif dax blicket dax zup OUT: PINK PURPLE RED PINK YELLOW

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