Eric has been blue because he's green with envy. Fred tends to be blue because he is big and this makes him a little rough around the edges. Bod is round so he's green with envy of anyone who is not. But Gary is also young and nice so it's easy for him to be kind to others anyway. You'll find that a green, round person tends to be rough with other people. Big round people are usually blue. A downhearted and blue person who is rough around the edges but kind is round. Blue people who are also green with envy are rough. Anyone you can describe as big and rough can also be described as red. A rough person will also be a cold person. Cold and rough people are usually red.
Alan is not blue.
@0: Eric is blue.[(triple2)] Eric is green.[(triple1)] Fred is big.[(triple5)] Fred is blue.[(triple4)] Fred is rough.[(triple3)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Gary is young.[(triple6)] @1: Eric is rough.[(((triple2 triple1) -> rule4))] Fred is cold.[(((triple3) -> rule6))] Fred is red.[(((triple5 triple3) -> rule5) OR ((triple3 ((triple3) -> rule6)) -> rule7))] Gary is rough.[(((triple7 triple10) -> rule1))] @2: Eric is cold.[(((((triple2 triple1) -> rule4)) -> rule6))] Gary is cold.[(((((triple7 triple10) -> rule1)) -> rule6))] @3: Eric is red.[(((((triple2 triple1) -> rule4) ((((triple2 triple1) -> rule4)) -> rule6)) -> rule7))] Gary is red.[(((((triple7 triple10) -> rule1) ((((triple7 triple10) -> rule1)) -> rule6)) -> rule7))]