Alan is nice, even when he is rough and red with anger. Charlie is big and tends to wear red shirts. I know Eric really well and you can say he is rough on the outside, cold on the inside and red all of the time. Fred is young, but very kind to others. Fred is big, with round features. A green, downhearted, and blue person with red cheeks is big. If a kind person is also young and round shaped, they will be colored blue. A young round person who is green is also red. A round shaped and rough person will be blue as well. It's easy to be round and blue when you are young. A big blue someone could also be green.
Eric is not young.
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is red.[(triple4)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Fred is big.[(triple12)] Fred is kind.[(triple11)] Fred is round.[(triple10)] Fred is young.[(triple9)] @1: Fred is blue.[(((triple11 triple9 triple10) -> rule2))] @2: Fred is green.[(((((triple11 triple9 triple10) -> rule2) triple12) -> rule6))] @3: Fred is red.[(((triple9 triple10 ((((triple11 triple9 triple10) -> rule2) triple12) -> rule6)) -> rule3))]