That man standing next to you with a big round body goes by the name of Alan. Eric is blue and cold. Fred is rough and red, but he is still young; he is still blue with youth. My friend Gary is very young. People say he is nice for having a round shape. You will find that a big, young, blue person is also quite round. Anyone that is a red, nice soul will be big, too. Young round folks who are at least a bit red are actually nice. A nice and cold person can be counted on to be a young person at the same time. Round people are often red before they turn green. Whenever you see Pete you run into a young man rough, which means he will be nice. Whenever someone is kind as well as round and cold, they will definitely be blue.
Alan is not green.
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Eric is blue.[(triple4)] Eric is cold.[(triple3)] Fred is blue.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] Gary is nice.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple9)] @1: Fred is nice.[(((triple5 triple6) -> rule6))] @2: Fred is big.[(((triple7 ((triple5 triple6) -> rule6)) -> rule2))] @3: Fred is round.[(((triple5 ((triple7 ((triple5 triple6) -> rule6)) -> rule2) triple8) -> rule1))] @4: Fred is green.[(((((triple5 ((triple7 ((triple5 triple6) -> rule6)) -> rule2) triple8) -> rule1) triple7) -> rule5))]