They always call him rough Charlie. Dave is big and tends to wear red shirts. Eric can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. Kind, young, green persons are sure to be rough persons, too. If you have a big and round shape then you are going to be young, too. People who are blue and red and kind are described as being green. Like a blueberry, a big blue person is round as anything. A green colored person will be young and also kind. A young, nice person will turn out to be a green person also. People who are considered rough, blue, and nice, are also green.
Dave is cold.
@0: Charlie is rough.[(triple1)] Dave is big.[(triple3)] Dave is red.[(triple2)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is rough.[(triple4 OR ((((triple5 ((((triple6 triple7) -> rule4) triple7) -> rule2)) -> rule5) ((((triple6 triple7) -> rule4) triple7) -> rule2) triple5) -> rule1))] @1: Eric is round.[(((triple6 triple7) -> rule4))] @2: Eric is young.[(((((triple6 triple7) -> rule4) triple7) -> rule2))] @3: Eric is kind.[(((triple5 ((((triple6 triple7) -> rule4) triple7) -> rule2)) -> rule5))]