When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough. Dave wears all blue. Eric is big for being as young as he is. You will also notice how he is green and red. The young boy Gary still hasn't come to grips with his conflicting traits of being both rough and nice. Combined with his round torso, that makes him feel blue. It seems to be that a person who is green, red, and blue will be very big. Red and round people are nice to others even though they are big. A big, young human being is sure to also be a green human being. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. A young person with cold, rough skin will be red as well. Blue people round with fat are red from too much time in the sun. Get a rather green person who is both nice, but cold to others, then they are certain to be round.
Gary is not red.
@0: Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Dave is blue.[(triple3)] Eric is big.[(triple7)] Eric is green.[(triple6 OR ((triple7 triple4) -> rule3))] Eric is red.[(triple5)] Eric is young.[(triple4)] Gary is blue.[(triple12)] Gary is nice.[(triple11)] Gary is rough.[(triple10)] Gary is round.[(triple9)] Gary is young.[(triple8)] @1: Gary is red.[(((triple12 triple9) -> rule6))] @2: Gary is big.[(((triple11 triple9 ((triple12 triple9) -> rule6)) -> rule2))] @3: Gary is green.[(((((triple11 triple9 ((triple12 triple9) -> rule6)) -> rule2) triple8) -> rule3))]