Alan always goes out of his way to show that he is kind to people. Big, round Charlie is liked by everyone one.  He is easily recognized with his red and green skin. Dave was looking rather round and feeling rather cold, but people thought he is kind. Harry, like all young people, is nice. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. People who are blue and green are nice. A person fitting the description of rough, cold and red will also be a nice person. A kind and cold person who is green is, surprisingly, also blue. Show me someone who is cold and kind, and I'll show you how green they are. Anyone that is nice and kind and also green will usually be young as well.
Alan is not green.
@0: Alan is kind.[(triple1)] Charlie is big.[(triple5)] Charlie is green.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2)] Dave is cold.[(triple8)] Dave is kind.[(triple7)] Dave is round.[(triple6)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Dave is green.[(((triple8 triple7) -> rule5))] @2: Dave is blue.[(((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4))] @3: Dave is nice.[(((((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2))] @4: Dave is young.[(((((triple8 triple7) -> rule5) ((((triple7 triple8 ((triple8 triple7) -> rule5)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2) triple7) -> rule6))]