Charlie's a young guy. He's a cold, blue and big guy, too. Eric wears all blue. Gary is so big, he is often blue, but always kind. People think Harry is nice and kind for someone so young.  Harry wears his favorite color green all the time. This person is nice and young, also round, which makes them cold. Almost all of the young blue and red people I have seen are big as well. Green people will be nice even when they have been rough. A big person that is tattooed blue will be very nice. A nice and young aged person will definitely be green in color.
Gary is red.
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is cold.[(triple2)] Charlie is young.[(triple1)] Eric is blue.[(triple5)] Gary is big.[(triple8)] Gary is blue.[(triple7)] Gary is kind.[(triple6)] Harry is green.[(triple12 OR ((triple10 triple9) -> rule5))] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Charlie is nice.[(((triple4 triple3) -> rule4))] Gary is nice.[(((triple8 triple7) -> rule4))] Harry is rough.[(((triple12 triple10) -> rule3) OR ((((triple10 triple9) -> rule5) triple10) -> rule3))] @2: Charlie is green.[(((((triple4 triple3) -> rule4) triple1) -> rule5))] @3: Charlie is rough.[(((((((triple4 triple3) -> rule4) triple1) -> rule5) ((triple4 triple3) -> rule4)) -> rule3))]