When you meet Alan you'll the two characteristics that will standout is that he's red but also rough. Even though Bob is rough, he nice but cold and blue. Charlie is interestingly colored red and blue, and is also very kind. Dave was born only a few years ago so he is young. Being a kind person even when you are blue is hard, but it means you are round with delight. Young, green round people are big. A nice young person who is red is cold. Blue and red people are often rough. A rough, blue person is often said to be nice. A rough and round shaped person will be nice and also young. Take a drive and find a kind and blue driver, that means they are also young.
Dave is not green.
@0: Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is nice.[(triple4 OR ((triple6 triple3) -> rule5))] Bob is rough.[(triple3)] Charlie is blue.[(triple9)] Charlie is kind.[(triple8)] Charlie is red.[(triple7)] Dave is young.[(triple10)] @1: Charlie is rough.[(((triple9 triple7) -> rule4))] Charlie is round.[(((triple9 triple8) -> rule1))] Charlie is young.[(((triple8 triple9) -> rule7) OR ((((triple9 triple7) -> rule4) ((triple9 triple8) -> rule1) ((triple9 ((triple9 triple7) -> rule4)) -> rule5)) -> rule6))] @2: Charlie is nice.[(((triple9 ((triple9 triple7) -> rule4)) -> rule5))] @3: Charlie is cold.[(((((triple9 ((triple9 triple7) -> rule4)) -> rule5) triple7 ((triple8 triple9) -> rule7)) -> rule3) OR ((((triple9 ((triple9 triple7) -> rule4)) -> rule5) triple7 ((((triple9 triple7) -> rule4) ((triple9 triple8) -> rule1) ((triple9 ((triple9 triple7) -> rule4)) -> rule5)) -> rule6)) -> rule3))]