In the snow sits Charlie, crying from being cold. Dave is a rough man with a big heart who has red hair and a nice smile. Eric is a nice, kind young man.  Eric keeps a sweater with him because he is always cold. Harry was born only a few years ago so he is young. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. Don't be surprised to hear that all nice, kind folks are in fact rough. When you know someone who is young and green you can count on them being nice to everyone. There are so many rough, young people and for some reason they are all big too. People who are young and green are also kind. People who are nice, big, and also rough, are considered red. Those who are round and cold are young.
Harry is not red.
@0: Charlie is cold.[(triple1)] Dave is big.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3 OR ((triple4 triple5 triple2) -> rule6))] Dave is rough.[(triple2)] Eric is cold.[(triple9)] Eric is kind.[(triple8)] Eric is nice.[(triple7)] Eric is young.[(triple6)] Harry is young.[(triple10)] @1: Eric is rough.[(((triple7 triple8) -> rule2))] @2: Eric is big.[(((triple6 ((triple7 triple8) -> rule2)) -> rule4))] @3: Eric is red.[(((triple7 ((triple6 ((triple7 triple8) -> rule2)) -> rule4) ((triple7 triple8) -> rule2)) -> rule6))]