Oh, that nice, kind Alan! He is so cold, and so big. Rough and cold that is what they say about Blue Charlie. Dave is a big guy who is colored red from a sunburn. He also has a cold. Eric seems to be round. A very nice person who is also green is certainly kind. Big people who are red in color are almost always young. I feel that all round, cold and green people are that way because they are too young to know better. People who are said to be big and nice are round. When someone is green and round, they can be rough but kind. Every person I met that was cold and round was also red. People who are round and red tend  to be rough.
Alan is not kind.
@0: Alan is big.[(triple4)] Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Charlie is blue.[(triple7)] Charlie is cold.[(triple6)] Charlie is rough.[(triple5)] Dave is big.[(triple10)] Dave is cold.[(triple9)] Dave is red.[(triple8)] Eric is round.[(triple11)] @1: Alan is round.[(((triple4 triple1) -> rule4))] Dave is young.[(((triple10 triple8) -> rule2))] @2: Alan is red.[(((triple3 ((triple4 triple1) -> rule4)) -> rule6))] @3: Alan is rough.[(((((triple3 ((triple4 triple1) -> rule4)) -> rule6) ((triple4 triple1) -> rule4)) -> rule7))] Alan is young.[(((triple4 ((triple3 ((triple4 triple1) -> rule4)) -> rule6)) -> rule2))]