Alan has been blue because he's green with envy. Bob is quite round but rough and is on the nice side, but rather cold. Charlie is very big for being so young. The round, rough, and green one was labeled Fred after all. You'll find that a green, round person tends to be rough with other people. If someone is a bit big and kind natured and fairly round then they are quite red. Remember that anyone with round shapes and rough edges is nice. When you make the hulk big and green, he is filled with red rage. Just as you might expect, blue and red people are always big. A young person who has been out in the cold with rough skin is also blue. A nice round person is big.
Fred is red.
@0: Alan is blue.[(triple2)] Alan is green.[(triple1)] Bob is cold.[(triple6)] Bob is nice.[(triple5 OR ((triple3 triple4) -> rule3))] Bob is rough.[(triple4)] Bob is round.[(triple3)] Charlie is big.[(triple8)] Charlie is young.[(triple7)] Fred is green.[(triple11)] Fred is rough.[(triple10 OR ((triple9 triple11) -> rule1))] Fred is round.[(triple9)] @1: Bob is big.[(((triple3 triple5) -> rule7) OR ((triple3 ((triple3 triple4) -> rule3)) -> rule7))] Fred is nice.[(((triple9 triple10) -> rule3) OR ((triple9 ((triple9 triple11) -> rule1)) -> rule3))] @2: Fred is big.[(((triple9 ((triple9 triple10) -> rule3)) -> rule7) OR ((triple9 ((triple9 ((triple9 triple11) -> rule1)) -> rule3)) -> rule7))] @3: Fred is red.[(((((triple9 ((triple9 triple10) -> rule3)) -> rule7) triple11) -> rule4) OR ((((triple9 ((triple9 ((triple9 triple11) -> rule1)) -> rule3)) -> rule7) triple11) -> rule4))]