Alan seems to be round. Charlie is green, but often kind, even when he is blue and cold. Dave is still young, which explains why he is round and cold, however, most people still think Dave is nice. Harry is a big fellow, often blue and sad, but he is nice. Young round people who are green are usually blue. Rough people who are kind and green with envy are red with their toughened skin. Being young and cold also means you're green. People who are feeling blue and green are said to be red. Tom is a rough, young person to know, he is very green at his job but he is very round from his weight. Someone who is currently blue, big, and cold, is also kind. A cold blue person who is rough is also kind.
Dave is not red.
@0: Alan is round.[(triple1)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Dave is cold.[(triple9)] Dave is nice.[(triple8)] Dave is round.[(triple7)] Dave is young.[(triple6)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is nice.[(triple10)] @1: Charlie is red.[(((triple5 triple3) -> rule4))] Dave is green.[(((triple6 triple9) -> rule3))] @2: Dave is blue.[(((triple7 triple6 ((triple6 triple9) -> rule3)) -> rule1))] @3: Dave is red.[(((((triple7 triple6 ((triple6 triple9) -> rule3)) -> rule1) ((triple6 triple9) -> rule3)) -> rule4))]