Bob is nice but rough around the edges. He is round which makes him blue and a touch green with envy of other. That rough but kind guy is Dave, the green one. Being young, Gary is still green and blue. Anyone who manages to be round, blue, and green must be pretty big. Someone who is round in shape and green in color is usually cold. Young people who are big, downhearted, and blue are kind. When a nice blue person is also red, they get called rough. A big, nice, blue person is likely to be young. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Big kind people are usually cold.
Bob is kind.
@0: Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is young.[(triple9)] @1: Bob is big.[(((triple1 triple5 triple4) -> rule1))] Bob is cold.[(((triple4 triple1) -> rule2) OR ((((((triple1 triple5 triple4) -> rule1) triple5 ((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5)) -> rule3) ((triple1 triple5 triple4) -> rule1)) -> rule7))] @2: Bob is young.[(((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5))] @3: Bob is kind.[(((((triple1 triple5 triple4) -> rule1) triple5 ((((triple1 triple5 triple4) -> rule1) triple3 triple5) -> rule5)) -> rule3))]