Alan looks red to most people, with blue features. Charlie's a round guy, and a red and green guy. Eric is round, dresses in red, but is blue with cold. Gary is rough and cold, but he's young and will get over it. A kind, round person will surely be red as well. Someone who is both red and blue will also be a nice person. If a kind person is also young and round shaped, they will be colored blue. When someone feels cold, while being big and rough, they always turn out to be red. A person described as cold and kind can also be described as nice. Blue, young and round people are usually big. When a person is blue, cold, and nice, they are also pretty young too.
Eric is not big.
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Charlie is green.[(triple5)] Charlie is red.[(triple4)] Charlie is round.[(triple3)] Eric is blue.[(triple9)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] Gary is cold.[(triple12)] Gary is rough.[(triple11)] Gary is young.[(triple10)] @1: Alan is nice.[(((triple1 triple2) -> rule2))] Eric is nice.[(((triple7 triple9) -> rule2))] @2: Eric is young.[(((triple9 triple8 ((triple7 triple9) -> rule2)) -> rule7))] @3: Eric is big.[(((triple9 ((triple9 triple8 ((triple7 triple9) -> rule2)) -> rule7) triple6) -> rule6))]