*SUPPORT*
IN: blicket gazzer wif OUT: RED BLUE RED
IN: fep dax lug OUT: YELLOW PINK YELLOW
IN: wif zup wif OUT: BLUE BLUE BLUE BLUE
IN: blicket gazzer blicket OUT: RED RED RED
IN: wif lug gazzer fep lug dax blicket OUT: BLUE PINK YELLOW PINK RED PINK PINK
IN: blicket gazzer wif zup lug OUT: PINK RED BLUE RED PINK PINK
IN: blicket zup fep OUT: YELLOW RED YELLOW YELLOW
IN: fep gazzer wif blicket OUT: YELLOW BLUE RED YELLOW
IN: wif lug gazzer blicket wif OUT: BLUE PINK RED BLUE PINK
IN: fep dax wif dax wif zup fep OUT: YELLOW YELLOW BLUE BLUE BLUE YELLOW YELLOW YELLOW
IN: fep zup lug OUT: PINK YELLOW PINK PINK
IN: lug dax wif OUT: PINK BLUE PINK
IN: blicket wif lug dax blicket OUT: RED BLUE PINK RED PINK
IN: lug lug fep gazzer blicket wif gazzer blicket OUT: PINK PINK YELLOW RED BLUE RED BLUE YELLOW

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

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