Charlie is somewhat red,he is also very nice and kind, he is very big though. Dave is rough but very kind, he is also red in color and young in age. They always call him rough Harry. Kind people that are rough and round are also considered big. Incredible as it may seem, young people who are red and have kind attitudes are always round. A nice and kind natured person that is big in shape will be rough. Those who are round and cold are young. When someone is big, young and rough, they can be cold.
Charlie is cold.
@0: Charlie is big.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is kind.[(triple8)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Dave is young.[(triple5)] Harry is rough.[(triple9)] @1: Charlie is rough.[(((triple2 triple4 triple3) -> rule3))] Dave is round.[(((triple5 triple7 triple8) -> rule2))] @2: Dave is big.[(((triple6 triple8 ((triple5 triple7 triple8) -> rule2)) -> rule1))] @3: Dave is cold.[(((triple6 triple5 ((triple6 triple8 ((triple5 triple7 triple8) -> rule2)) -> rule1)) -> rule5))]