That guy Alan is big, but he's always kind to little ones. I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time. The cold, nice, kind man with a round body is known as Dave. Eric was born only a few years ago so he is young. Being a kind person even when you are blue is hard, but it means you are round with delight. Rough people, round from over eating, who are also cold are young and don't mind the draft. Don't be surprised to hear that all nice, kind folks are in fact rough. A big, young human being is sure to also be a green human being. Anyone who is round and also cold will surely be big as well.
Bob is not round.
@0: Alan is big.[(triple2)] Alan is kind.[(triple1)] Bob is cold.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Dave is cold.[(triple9)] Dave is kind.[(triple8)] Dave is nice.[(triple7)] Dave is round.[(triple6)] Eric is young.[(triple10)] @1: Dave is big.[(((triple6 triple9) -> rule5))] Dave is rough.[(((triple7 triple8) -> rule3))] @2: Dave is young.[(((triple6 triple9 ((triple7 triple8) -> rule3)) -> rule2))] @3: Dave is green.[(((((triple6 triple9) -> rule5) ((triple6 triple9 ((triple7 triple8) -> rule3)) -> rule2)) -> rule4))]