Alan, the big, round fellow over there, is an odd mix of green and blue. Charlie feels blue because the other kids made fun of his round shape. Eric is a young person who often feels blue and cold. Gary is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Nice people who are big and round will have red faces too. Turns out that sad people feeling blue who are both nice and cold to others are all big people. If you paint someone who is round blue and green, they must be young. A big, cold, blue person is rough around the edges. Nice people who look rough almost always appear to be green in color. People who are nice and kind are usually also cold.
Eric is not young.
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple6)] Charlie is round.[(triple5)] Eric is blue.[(triple9)] Eric is cold.[(triple8)] Eric is young.[(triple7)] Gary is blue.[(triple12)] Gary is kind.[(triple11)] Gary is nice.[(triple10)] @1: Alan is young.[(((triple3 triple1 triple2) -> rule3))] Gary is cold.[(((triple11 triple10) -> rule6))] @2: Gary is big.[(((((triple11 triple10) -> rule6) triple12 triple10) -> rule2))] @3: Gary is rough.[(((((triple11 triple10) -> rule6) triple12 ((((triple11 triple10) -> rule6) triple12 triple10) -> rule2)) -> rule4))] @4: Gary is green.[(((triple10 ((((triple11 triple10) -> rule6) triple12 ((((triple11 triple10) -> rule6) triple12 triple10) -> rule2)) -> rule4)) -> rule5))]