Charlie feels blue because the other kids made fun of his round shape. Eric is never rough or feeling blue. He is a very nice and kind neighbor. Fred feels blue because the other kids made fun of his round shape. If someone is a bit big and kind natured and fairly round then they are quite red. Red, green and cold people are certain to be young people, too. When a man or woman is kind, that man or woman is red as well. When someone is big and red, they are also green. Somebody that is green, young and big is also going to be round. Just as you might expect, blue and red people are always big. Cold and rough people are usually red.
Fred is not green.
@0: Charlie is blue.[(triple2)] Charlie is round.[(triple1)] Eric is blue.[(triple6)] Eric is kind.[(triple5)] Eric is nice.[(triple4)] Eric is rough.[(triple3)] Fred is blue.[(triple8)] Fred is round.[(triple7)] @1: Eric is red.[(((triple5) -> rule3))] @2: Eric is big.[(((triple6 ((triple5) -> rule3)) -> rule6))] @3: Eric is green.[(((((triple6 ((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4))]