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

*QUERY*
IN: blicket blicket OUT: PURPLE PURPLE
IN: blicket OUT: PURPLE
IN: zup OUT: BLUE
IN: lug wif lug OUT: PINK PINK
IN: lug zup wif lug wif blicket OUT: PURPLE PINK PINK BLUE
IN: tufa zup OUT: YELLOW BLUE
IN: lug OUT: PINK
IN: lug zup OUT: PINK BLUE
IN: lug tufa gazzer blicket OUT: PURPLE PINK YELLOW
IN: blicket gazzer blicket wif zup OUT: BLUE PURPLE PURPLE

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