Bob is very big for being so young. Big Dave is a young, round man. Fred has been blue because he's green with envy. If you meet Gary, you will know that he is young, red and kind. Big, young people have a tendancy to be blue. If you are a nice, kind person then your appearance will be quite round. People here that are big, young and blue will be red too. When people are still young, the blue and round ones will also be a bit red. Just as you might expect, blue and red people are always big. If someone is round they could be red or blue, or green. Big and round people,though cold,are often nice.
Gary is green.
@0: Bob is big.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Fred is blue.[(triple7)] Fred is green.[(triple6)] Gary is kind.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Bob is blue.[(((triple1 triple2) -> rule1))] Dave is blue.[(((triple3 triple5) -> rule1))] @2: Bob is red.[(((((triple1 triple2) -> rule1) triple1 triple2) -> rule3))] Dave is red.[(((((triple3 triple5) -> rule1) triple3 triple5) -> rule3) OR ((((triple3 triple5) -> rule1) triple4 triple3) -> rule4))] @3: Dave is green.[(((((((triple3 triple5) -> rule1) triple3 triple5) -> rule3) ((triple3 triple5) -> rule1) triple4) -> rule6) OR ((((((triple3 triple5) -> rule1) triple4 triple3) -> rule4) ((triple3 triple5) -> rule1) triple4) -> rule6))]