Alan wears a green and red coat, but is always cold. Charlie is young, very kind and round.  He is rough but red and blue too. If you meet Gary, you will know that he is young, red and kind. Nice people who are big and round will have red faces too. Nice and kind people are downhearted and blue. People with stripes of green and blue on their skin who are also nice to others tend to feel cold to the touch. Don't worry about asking a person who has skin that is green and red for a favor because they are nice. A young person who has been out in the cold with rough skin is also blue. If someone is round they could be red or blue, or green. Big green and young people are often nice.
Gary is round.
@0: Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is red.[(triple1)] Charlie is blue.[(triple9)] Charlie is kind.[(triple8)] Charlie is red.[(triple7)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Gary is kind.[(triple12)] Gary is red.[(triple11)] Gary is young.[(triple10)] @1: Alan is nice.[(((triple1 triple2) -> rule4))] Charlie is green.[(((triple7 triple9 triple5) -> rule6))] @2: Charlie is nice.[(((triple7 ((triple7 triple9 triple5) -> rule6)) -> rule4))] @3: Charlie is cold.[(((((triple7 triple9 triple5) -> rule6) triple9 ((triple7 ((triple7 triple9 triple5) -> rule6)) -> rule4)) -> rule3))]