This Dave guy is red. He is also kind and yet cold. Young, red Gary is nice. Harry is big and green guy whose cold personality makes him seem very rough. Surprisingly, all the kind, green people were also big. As far as anyone can tell, whoever is kind, rough, and big is a round person. It's easy to be round and blue when you are young. Someone big and rough in shape is always kind. Someone who is round like a dumpling and cold like an icicle are very young in age. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Gary is not rough.
@0: Dave is cold.[(triple3)] Dave is kind.[(triple2)] Dave is red.[(triple1)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Gary is young.[(triple4)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is rough.[(triple7)] @1: Harry is kind.[(((triple10 triple7) -> rule4))] @2: Harry is round.[(((((triple10 triple7) -> rule4) triple7 triple10) -> rule2))] @3: Harry is young.[(((((((triple10 triple7) -> rule4) triple7 triple10) -> rule2) triple9) -> rule5))]