Charlie is round shaped and green colored. Dave is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. When you meet Gary you'll the two characteristics that will standout is that he's red but also rough. Harry is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Any green person is a round person. Cold people who are young and green are actually nice. Could you imagine how weird it would be if someone was nice, blue, and kind, but not green also. Someone who is round like a dumpling and cold like an icicle are very young in age.
Dave is nice.
@0: Charlie is green.[(triple2)] Charlie is round.[(triple1 OR ((triple2) -> rule1))] Dave is cold.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Harry is blue.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Dave is round.[(((triple5) -> rule1))] @2: Dave is young.[(((((triple5) -> rule1) triple6) -> rule4))] @3: Dave is nice.[(((triple6 triple5 ((((triple5) -> rule1) triple6) -> rule4)) -> rule2))]