Big Bob, the most blue guy I know while also being cold. Red Charlie is what folks call him, because he is quite red. Gary is both young and fairly round in size. Harry is young, but very kind to others. Harry is big, with round features. A young and cold person is red. A big blue someone could also be green. Because of circulation issues big people are often cold. If they are also green then they are certainly young. A person with big hair and rough lips is certainly young and jaded. If you're cold and red then you're nice. Kind young people that are still blue are generally round shaped. Blue, red and nice people are always big, too.
Gary is not red.
@0: Bob is big.[(triple3)] Bob is blue.[(triple2)] Bob is cold.[(triple1)] Charlie is red.[(triple4)] Gary is round.[(triple6)] Gary is young.[(triple5)] Harry is big.[(triple10)] Harry is kind.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Bob is green.[(((triple2 triple3) -> rule2))] @2: Bob is young.[(((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3))] @3: Bob is red.[(((triple1 ((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule1))] @4: Bob is nice.[(((triple1 ((triple1 ((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule1)) -> rule5))]