Bob wears a green and red coat, but is always cold. Charlie is so cold, he's turned blue, which isn't unusual with those rough, round kids. Fred is not only red but green and blue as well. Gary has been blue because he's green with envy. A kind person, blue with cold, is certainly very young and has forgotten their coat. A cold, green person who is kind will tend to be blue. Big round people are usually blue. 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. Anyone who is cold and wears green to keep warm is surely kind as well.
Charlie is not rough.
@0: Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is red.[(triple1)] Charlie is blue.[(triple7)] Charlie is cold.[(triple6)] Charlie is rough.[(triple5)] Charlie is round.[(triple4)] Fred is blue.[(triple10)] Fred is green.[(triple9)] Fred is red.[(triple8)] Gary is blue.[(triple12)] Gary is green.[(triple11)] @1: Bob is kind.[(((triple2 triple3) -> rule7))] Fred is big.[(((triple10 triple8) -> rule5))] @2: Bob is blue.[(((triple3 ((triple2 triple3) -> rule7) triple2) -> rule2))] @3: Bob is big.[(((((triple3 ((triple2 triple3) -> rule7) triple2) -> rule2) triple1) -> rule5))] Bob is young.[(((((triple2 triple3) -> rule7) triple3 ((triple3 ((triple2 triple3) -> rule7) triple2) -> rule2)) -> rule1))]