The young person who is always feeling cold is named Alan. No one knows Charlie like me and he is a kind guy, very round in the belly and green as grass. Fred is green with envy, and rough with his kids, but overall is just a nice, round individual. That guy Harry sure is nice. A nice, green, big person is also sure to be a red person. Someone with rough and green feet is invariably kind. Kind people that are round are on the big side. Jan is nice and rough, she can be blue in the winter which makes her cold. If a person is both cold and round, that person is also someone who is red. I bet anyone who is round and kind is also pretty young. People who are round and behave in a cold way are surely blue.
Charlie is young.
@0: Alan is cold.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is round.[(triple3)] Fred is green.[(triple9)] Fred is nice.[(triple8)] Fred is rough.[(triple7)] Fred is round.[(triple6)] Harry is nice.[(triple10)] @1: Charlie is big.[(((triple4 triple3) -> rule3))] Charlie is young.[(((triple3 triple4) -> rule6))] Fred is kind.[(((triple7 triple9) -> rule2))] @2: Fred is big.[(((((triple7 triple9) -> rule2) triple6) -> rule3))] Fred is young.[(((triple6 ((triple7 triple9) -> rule2)) -> rule6))] @3: Fred is red.[(((triple8 triple9 ((((triple7 triple9) -> rule2) triple6) -> rule3)) -> rule1))]