Charlie has a round face and is very nice. Fred ate some rotten meat and now feels green. Gary is both young and fairly round in size. They always say that he is so nice and kind, that is Big Harry.  But he is also round and blue. People who are nice, round and wearing blue will have red cheeks. Someone who is round in shape and green in color is usually cold. When someone is nice and rough they are usually red. If you are green you are also kind. Round people are often red before they turn green.
Charlie is big.
@0: Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Fred is green.[(triple3)] Gary is round.[(triple5)] Gary is young.[(triple4)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is kind.[(triple8 OR ((((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5)) -> rule4))] Harry is nice.[(triple7)] Harry is round.[(triple6)] @1: Fred is kind.[(((triple3) -> rule4))] Harry is red.[(((triple7 triple6 triple9) -> rule1))] @2: Harry is green.[(((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5))] @3: Harry is cold.[(((((triple6 ((triple7 triple6 triple9) -> rule1)) -> rule5) triple6) -> rule2))]