My friend Charlie is very young. People say he is nice for having a round shape. Eric is both young and fairly round in size. That guy Fred is big, but he's always kind to little ones. They always call him rough Gary. Nice people that are blue because they are cold turn green with envy. Soon you will understand that big people are nice. A downhearted blue person who is kind is round. Someone who is cold, big, and rough is always green, as a rule. Nice people who are big are always feeling blue. A person who is round shaped while also being quite cold tends to be nice. Green people who are nice are rough.
Fred is nice.
@0: Charlie is nice.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Eric is round.[(triple5)] Eric is young.[(triple4)] Fred is big.[(triple7)] Fred is kind.[(triple6)] Gary is rough.[(triple8)] @1: Fred is nice.[(((triple7) -> rule2))] @2: Fred is blue.[(((((triple7) -> rule2) triple7) -> rule5))] @3: Fred is round.[(((triple6 ((((triple7) -> rule2) triple7) -> rule5)) -> rule3))]