Most people see Charlie as round, albeit nice and big at the same time. I was surprised at how green and blue young, round Dave is. Gary was born only a few years ago so he is young. Harry ate some rotten meat and now feels green. Big, kind people that are rough are known for being red. I've been told that big, nice people are very rough. Everyone who manages to be both rough and round are also kind. People who are round and young are also quite nice. Kind people, for example, like the ones at the bank are always blue.
Charlie is not blue.
@0: Charlie is big.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Dave is blue.[(triple7)] Dave is green.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Gary is young.[(triple8)] Harry is green.[(triple9)] @1: Charlie is rough.[(((triple3 triple2) -> rule2))] Dave is nice.[(((triple4 triple5) -> rule4))] @2: Charlie is kind.[(((((triple3 triple2) -> rule2) triple1) -> rule3))] @3: Charlie is blue.[(((((((triple3 triple2) -> rule2) triple1) -> rule3)) -> rule5))] Charlie is red.[(((triple3 ((((triple3 triple2) -> rule2) triple1) -> rule3) ((triple3 triple2) -> rule2)) -> rule1))]