Red Alan is what folks call him, because he is quite red. Even though Bob is young, he is still very round and still very red. Dave is blue just like his dog. Dave is rough and round enough for the dog to use him as an exercise wheel. Harry is green, which is a possible explanation for why he is so nice. If the description of nice and green applies to somebody, the description of young will, too. People who are rough, round in shape, and big in stature are usuallu blue in color. Rough people are often always nice. Someone who is cold, big, and rough is always green, as a rule. A quite nice person who is red and green is also big. People with big hands and red, rough skin are terribly kind. Julie is really nice to gardeners since she has a green thumb.
Bob is not red.
@0: Alan is red.[(triple1)] Bob is red.[(triple4)] Bob is round.[(triple3)] Bob is young.[(triple2)] Dave is blue.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Harry is green.[(triple9 OR ((triple8) -> rule7))] Harry is nice.[(triple8)] @1: Dave is nice.[(((triple6) -> rule3))] Harry is young.[(((triple9 triple8) -> rule1) OR ((((triple8) -> rule7) triple8) -> rule1))] @2: Dave is green.[(((((triple6) -> rule3)) -> rule7))] @3: Dave is young.[(((((((triple6) -> rule3)) -> rule7) ((triple6) -> rule3)) -> rule1))]