People think that Charlie is round. This might be because he is young and blue. Dave is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. Harry is both young and fairly round in size. A round person who is nice is young. Young, green round people are big. A nice young person who is red is cold. Young, round, and cold people have a habit of looking pretty red. A nice person who is always seen to be wearing green clothes will be rather big in size. It is true that anyone who is cold while being young and nice is secretly a kind person. Blue people who are big tend to be rough.
Dave is not kind.
@0: Charlie is blue.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is nice.[(triple6)] Dave is red.[(triple5)] Dave is round.[(triple4)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Dave is rough.[(((triple7 triple8) -> rule7))] Dave is young.[(((triple6 triple4) -> rule1))] @2: Dave is cold.[(((triple6 triple5 ((triple6 triple4) -> rule1)) -> rule3))] @3: Dave is kind.[(((triple6 ((triple6 triple5 ((triple6 triple4) -> rule1)) -> rule3) ((triple6 triple4) -> rule1)) -> rule6))]