Red Charlie is what folks call him, because he is quite red. Dave is big and rough, but he is also green, and is nice and kind when you want him to be. Fred is round shaped and green colored. Harry is very nice to people, but he's also rather big. Nice and blue people have to be big as well. A red colored person will be rough textured and will be blue. When somebody is round, kind and blue, you know they'll also be red. A big person who is kind and nice is usually red because their prone to blushing. I have noticed that nice people that are green and blue are often round-shaped. Red people who are green and blue are always kind.
Harry is not nice.
@0: Charlie is red.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is nice.[(triple3)] Dave is rough.[(triple2)] Fred is green.[(triple8)] Fred is round.[(triple7)] Harry is big.[(triple10)] Harry is nice.[(triple9)] @1: Dave is red.[(((triple4 triple3 triple6) -> rule4))] @2: Dave is blue.[(((((triple4 triple3 triple6) -> rule4) triple2) -> rule2))] @3: Dave is round.[(((triple3 triple5 ((((triple4 triple3 triple6) -> rule4) triple2) -> rule2)) -> rule5))]