*SUPPORT*
IN: kiki fep wif kiki dax kiki OUT: YELLOW YELLOW YELLOW YELLOW YELLOW YELLOW BLUE
IN: blicket OUT: RED
IN: zup dax fep OUT: BLUE BLUE BLUE BLUE PINK
IN: blicket wif fep zup OUT: BLUE PINK RED
IN: fep wif blicket tufa OUT: RED RED RED RED RED RED BLUE
IN: kiki OUT: YELLOW
IN: kiki fep OUT: YELLOW BLUE
IN: fep wif zup dax blicket OUT: RED RED RED RED PINK BLUE
IN: blicket fep wif kiki OUT: RED YELLOW BLUE
IN: blicket dax blicket OUT: RED RED RED RED RED
IN: blicket kiki zup wif kiki dax blicket OUT: RED RED RED RED RED YELLOW YELLOW PINK
IN: kiki wif fep dax fep OUT: BLUE BLUE BLUE BLUE BLUE YELLOW
IN: kiki wif blicket wif blicket dax kiki OUT: YELLOW YELLOW YELLOW YELLOW RED RED YELLOW
IN: zup fep OUT: PINK BLUE

*QUERY*
IN: fep wif kiki OUT: YELLOW BLUE
IN: fep OUT: BLUE
IN: blicket wif blicket blicket OUT: RED RED RED
IN: zup OUT: PINK
IN: kiki tufa OUT: YELLOW YELLOW YELLOW YELLOW YELLOW YELLOW
IN: kiki blicket OUT: YELLOW RED
IN: blicket dax kiki OUT: YELLOW YELLOW YELLOW YELLOW RED
IN: fep zup wif zup OUT: BLUE PINK PINK
IN: fep dax fep OUT: BLUE BLUE BLUE BLUE BLUE
IN: blicket dax fep OUT: BLUE BLUE BLUE BLUE RED

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