Charlie is blue and cold. Dave associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Eric is big and tends to wear red shirts. Harry, like all young people, is nice. A big person who also feels blue and a bit green are usually wearing red. Kind, young, green persons are sure to be rough persons, too. If you are big and young then your are also nice. Blue people round with fat are red from too much time in the sun. Invariably, any young person whose skin appears rough and green is bound to be quite big.
Dave is not rough.
@0: Charlie is blue.[(triple2)] Charlie is cold.[(triple1)] Dave is blue.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is young.[(triple3)] Eric is big.[(triple8)] Eric is red.[(triple7)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Dave is rough.[(((triple4 triple3 triple5) -> rule2))] @2: Dave is big.[(((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5))] @3: Dave is nice.[(((((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5) triple3) -> rule3))] Dave is red.[(((((triple3 triple5 ((triple4 triple3 triple5) -> rule2)) -> rule5) triple6 triple5) -> rule1))]