Charlie was born only a few years ago so he is young. Even though Dave is green with envy he is nice with rosy red cheeks. That rough but kind guy is Fred, the green one. Blue with the cold Gary is rough but kind with a green shirt. A very kind and green colored person, who is also cold, will be nice. A person who is nice and green with envy is round. Any human being with green, big, kind eyes, also has round eyes. A red colored person will be rough textured and will be blue. When somebody is round, kind and blue, you know they'll also be red. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Gary is not red.
@0: Charlie is young.[(triple1)] Dave is green.[(triple4)] Dave is nice.[(triple3)] Dave is red.[(triple2)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is rough.[(triple5)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is rough.[(triple8)] @1: Dave is round.[(((triple3 triple4) -> rule2))] Gary is nice.[(((triple9 triple10 triple11) -> rule1))] @2: Gary is round.[(((((triple9 triple10 triple11) -> rule1) triple10) -> rule2))] @3: Gary is red.[(((((((triple9 triple10 triple11) -> rule1) triple10) -> rule2) triple9 triple12) -> rule5))]