*SUPPORT*
IN: blicket wif zup wif fep wif tufa OUT: YELLOW PINK GREEN RED
IN: fep wif tufa wif fep OUT: GREEN RED GREEN
IN: fep blicket gazzer OUT: GREEN YELLOW GREEN YELLOW
IN: blicket fep kiki tufa wif zup OUT: YELLOW RED GREEN PINK
IN: blicket OUT: YELLOW
IN: fep tufa blicket wif zup OUT: GREEN RED YELLOW PINK
IN: zup wif blicket wif fep gazzer OUT: PINK YELLOW GREEN PINK YELLOW GREEN
IN: tufa zup OUT: RED PINK
IN: blicket tufa kiki zup blicket OUT: YELLOW PINK YELLOW RED
IN: zup tufa wif zup OUT: PINK RED PINK
IN: blicket fep kiki zup tufa wif fep OUT: YELLOW PINK RED GREEN GREEN
IN: zup fep gazzer OUT: PINK GREEN PINK GREEN
IN: tufa kiki fep OUT: GREEN RED
IN: tufa OUT: RED

*QUERY*
IN: fep OUT: GREEN
IN: zup tufa OUT: PINK RED
IN: tufa kiki fep fep gazzer OUT: GREEN GREEN RED GREEN GREEN RED
IN: blicket tufa gazzer OUT: YELLOW RED YELLOW RED
IN: blicket tufa kiki fep kiki blicket gazzer OUT: YELLOW YELLOW GREEN RED YELLOW YELLOW GREEN RED
IN: fep kiki tufa OUT: RED GREEN
IN: blicket zup gazzer wif fep wif zup OUT: YELLOW PINK YELLOW PINK GREEN PINK
IN: tufa fep wif zup wif blicket OUT: RED GREEN PINK YELLOW
IN: zup OUT: PINK
IN: fep gazzer OUT: GREEN GREEN

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