Charlie wears all blue. Dave wears all blue. Eric is both young and fairly round in size. Fred is so big, he is often blue, but always kind. A big round person is nice. A green, round, blue male or female will be a big male or female, too. Like a blueberry, a big blue person is round as anything. Round and big people are sure to be rough. All nice people are young.
Eric is not young.
@0: Charlie is blue.[(triple1)] Dave is blue.[(triple2)] Eric is round.[(triple4)] Eric is young.[(triple3)] Fred is big.[(triple7)] Fred is blue.[(triple6)] Fred is kind.[(triple5)] @1: Fred is round.[(((triple6 triple7) -> rule3))] @2: Fred is nice.[(((((triple6 triple7) -> rule3) triple7) -> rule1))] Fred is rough.[(((((triple6 triple7) -> rule3) triple7) -> rule4))] @3: Fred is young.[(((((((triple6 triple7) -> rule3) triple7) -> rule1)) -> rule5))]