Alan tends to be blue because he is big and this makes him a little rough around the edges. Dave has been blue because he's green with envy. Throughout the time Harry was young, he was a round and rough fellow. Because he was often cold, he was also blue. If you come across a cold, red person with a round shape you'll find they are nice people. Round shaped people that are nice and kind are also considerably rough. When people are still young, the blue and round ones will also be a bit red. When a man or woman has the description of being rough, young and cold, they can also be described as blue. Cold and rough people are usually red. Anyone who is cold and wears green to keep warm is surely kind as well. When you meet a person who is cold and nice, you can bet they'll be kind too.
Harry is not kind.
@0: Alan is big.[(triple3)] Alan is blue.[(triple2)] Alan is rough.[(triple1)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Harry is blue.[(triple10 OR ((triple8 triple6 triple9) -> rule4))] Harry is cold.[(triple9)] Harry is rough.[(triple8 OR ((triple7 ((triple9 ((triple9 triple7 ((triple10 triple7 triple6) -> rule3)) -> rule1)) -> rule7) ((triple9 triple7 ((triple10 triple7 triple6) -> rule3)) -> rule1)) -> rule2))] Harry is round.[(triple7)] Harry is young.[(triple6)] @1: Harry is red.[(((triple8 triple9) -> rule5) OR ((triple10 triple7 triple6) -> rule3) OR ((((triple8 triple6 triple9) -> rule4) triple7 triple6) -> rule3))] @2: Harry is nice.[(((triple9 triple7 ((triple8 triple9) -> rule5)) -> rule1) OR ((triple9 triple7 ((triple10 triple7 triple6) -> rule3)) -> rule1) OR ((triple9 triple7 ((((triple8 triple6 triple9) -> rule4) triple7 triple6) -> rule3)) -> rule1))] @3: Harry is kind.[(((triple9 ((triple9 triple7 ((triple8 triple9) -> rule5)) -> rule1)) -> rule7) OR ((triple9 ((triple9 triple7 ((triple10 triple7 triple6) -> rule3)) -> rule1)) -> rule7) OR ((triple9 ((triple9 triple7 ((((triple8 triple6 triple9) -> rule4) triple7 triple6) -> rule3)) -> rule1)) -> rule7))]