Young, red Charlie is nice. That man standing next to you with a big round body goes by the name of Eric. Young Fred is quite nice, and because he is so round can be considered quite big. Gary is young but big for his age. Gary wasn't feeling well so he is a little green. All people that are rough and cold, as well as nice will be kind if you talk to them. Big round people who wear red clothing will also wear a lot of green jewelry. Blue Christmas ornaments are also red. A blue person who is feeling a bit rough and cold will be wearing red. Someone who is cold, big, and rough is always green, as a rule. Anybody that is big is also someone who is going to be blue.
Charlie is round.
@0: Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple5)] Eric is round.[(triple4)] Fred is big.[(triple9)] Fred is nice.[(triple8)] Fred is round.[(triple7)] Fred is young.[(triple6)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is young.[(triple10)] @1: Eric is blue.[(((triple5) -> rule6))] Fred is blue.[(((triple9) -> rule6))] Gary is blue.[(((triple12) -> rule6))] @2: Eric is red.[(((((triple5) -> rule6)) -> rule3))] Fred is red.[(((((triple9) -> rule6)) -> rule3))] Gary is red.[(((((triple12) -> rule6)) -> rule3))] @3: Eric is green.[(((triple5 ((((triple5) -> rule6)) -> rule3) triple4) -> rule2))] Fred is green.[(((triple9 ((((triple9) -> rule6)) -> rule3) triple7) -> rule2))]