Bob feels blue because the other kids made fun of his round shape. Charlie is embarrassed he is so round at such a young age. The anguish has turned him red and he feels blue. Fred has been blue because he's green with envy. The round, rough, and green one was labeled Gary after all. If you come across a cold, red person with a round shape you'll find they are nice people. Red, green and cold people are certain to be young people, too. Don't worry about asking a person who has skin that is green and red for a favor because they are nice. Someone nice is kind. A person that is nice and big is always round. A big, cold, blue person is rough around the edges. If a person is both rough and round, you know they are also red.
Bob is young.
@0: Bob is blue.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple6)] Charlie is red.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Fred is blue.[(triple8)] Fred is green.[(triple7)] Gary is green.[(triple11)] Gary is rough.[(triple10)] Gary is round.[(triple9)] @1: Gary is red.[(((triple10 triple9) -> rule7))] @2: Gary is nice.[(((((triple10 triple9) -> rule7) triple11) -> rule3))] @3: Gary is kind.[(((((((triple10 triple9) -> rule7) triple11) -> rule3)) -> rule4))]