Charlie, like all young people, is nice. Eric is very nice to people, but he's also rather big. Fred's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Gary's a young guy. He's a cold, blue and big guy, too. A big person who feels cold and has blue skin is a nice person. A kind and nice person who is looking green is often red. A person that is rough and round shaped features are going to be red. Anyone who is big and cold and also kind is definitely red on top if it. Big people that tend to be nice and blue, may also be a little rough to others. A big, blue and cold person will also be a round person.
Gary is not red.
@0: Charlie is nice.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple4)] Eric is nice.[(triple3)] Fred is blue.[(triple7)] Fred is green.[(triple6)] Fred is nice.[(triple5)] Gary is big.[(triple11)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is young.[(triple8)] @1: Gary is nice.[(((triple9 triple10 triple11) -> rule1))] Gary is round.[(((triple11 triple9 triple10) -> rule6))] @2: Gary is rough.[(((triple11 ((triple9 triple10 triple11) -> rule1) triple10) -> rule5))] @3: Gary is red.[(((((triple11 triple9 triple10) -> rule6) ((triple11 ((triple9 triple10 triple11) -> rule1) triple10) -> rule5)) -> rule3))]