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

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

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