Dave has been blue because he's green with envy. Eric is a very young and nice person. Eric's hair is red with a rough texture. If you meet Harry, you will know that he is young, red and kind. Blue people are known the world over as nice people. Nice blue people are usually round in shape. Big, red, nice people are rough. A nice person who is also round will always be big. A person that is green, cold and nice will also be blue. When I see a young child who plays rough on the playground with others and has cold hands, I know it means they are kind.
Harry is not red.
@0: Dave is blue.[(triple2)] Dave is green.[(triple1)] Eric is nice.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3)] Harry is kind.[(triple9)] Harry is red.[(triple8)] Harry is young.[(triple7)] @1: Dave is nice.[(((triple2) -> rule1))] @2: Dave is round.[(((((triple2) -> rule1) triple2) -> rule2))] @3: Dave is big.[(((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule2)) -> rule4))]