Red Alan is what folks call him, because he is quite red. Charlie was born only a few years ago so he is young. Dave a big man for his young age. he has red hair and can be rough. If you had seen the young round Gary you'd never believe he was the same red, green and rough Gary of today. People that are big and cold are blue as well. People who are blue and green are nice. Red, kind, rough people are the young ones. Humans who are nice to others while they are young and red will also be green. Young,round people tend to be rough and big. If you meet somebody who is green, big and red you'll notice they are also blue.
Dave is not blue.
@0: Alan is red.[(triple1)] Charlie is young.[(triple2)] Dave is big.[(triple6)] Dave is red.[(triple5)] Dave is rough.[(triple4)] Dave is young.[(triple3)] Gary is green.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Gary is big.[(((triple9 triple7 triple8) -> rule5))] @2: Gary is blue.[(((triple11 ((triple9 triple7 triple8) -> rule5) triple10) -> rule6))] @3: Gary is nice.[(((((triple11 ((triple9 triple7 triple8) -> rule5) triple10) -> rule6) triple11) -> rule2))]