Bob is rough around the edges, but he's often blue and always nice. Charlie was born only a few years ago so he is young. Eric looks red to most people, with blue features. Young Gary is round from too much candy.  He is feeling cold even though he's red from being in the sun too long. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. People who can be kind when they are cold are fundamentally nice. Big and cold people tend to see red and dont live green lifestyle. When someone is young, they can be cold but kind. Someone with the traits of being cold and red is also going to be someone who is big. A person who is cold, rough and young is also nice. Green people who are nice are rough.
Bob is not red.
@0: Bob is blue.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is young.[(triple4)] Eric is blue.[(triple6)] Eric is red.[(triple5)] Gary is cold.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Gary is big.[(((triple10 triple9) -> rule5))] Gary is kind.[(((triple7 triple10) -> rule4))] @2: Gary is green.[(((triple9 ((triple10 triple9) -> rule5) triple10) -> rule3))] Gary is nice.[(((((triple7 triple10) -> rule4) triple10) -> rule2))] @3: Gary is rough.[(((((((triple7 triple10) -> rule4) triple10) -> rule2) ((triple9 ((triple10 triple9) -> rule5) triple10) -> rule3)) -> rule7))]