For being so cold, it's good Bob can remain nice. Charlie is green and cold too. Although Dave acted rough and was red, he was truly nice to others and a green gardener. He was cold and big. Kind people that are red and round are usually big. Rough and big people are always also cold people. If someone has a kind disposition and looks rather round and rough then you'll find that they're actually quite young. Big, kind folks are green ones. An individual with the traits of being nice, red, and cold is also round. When someone is green and round, they can be rough but kind. A young person with red hands is rough around the edges.
Gary is not green.
@0: Bob is cold.[(triple2)] Bob is nice.[(triple1)] Charlie is cold.[(triple4)] Charlie is green.[(triple3)] Dave is big.[(triple10 OR ((((triple8 ((triple7 triple6 triple9) -> rule5) triple5) -> rule6) ((triple7 triple6 triple9) -> rule5) triple6) -> rule1))] Dave is cold.[(triple9 OR ((triple5 triple10) -> rule2))] Dave is green.[(triple8)] Dave is nice.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5)] @1: Dave is round.[(((triple7 triple6 triple9) -> rule5) OR ((triple7 triple6 ((triple5 triple10) -> rule2)) -> rule5))] @2: Dave is kind.[(((triple8 ((triple7 triple6 triple9) -> rule5) triple5) -> rule6) OR ((triple8 ((triple7 triple6 ((triple5 triple10) -> rule2)) -> rule5) triple5) -> rule6))] @3: Dave is young.[(((((triple8 ((triple7 triple6 triple9) -> rule5) triple5) -> rule6) ((triple7 triple6 triple9) -> rule5) triple5) -> rule3) OR ((((triple8 ((triple7 triple6 triple9) -> rule5) triple5) -> rule6) ((triple7 triple6 ((triple5 triple10) -> rule2)) -> rule5) triple5) -> rule3) OR ((((triple8 ((triple7 triple6 ((triple5 triple10) -> rule2)) -> rule5) triple5) -> rule6) ((triple7 triple6 triple9) -> rule5) triple5) -> rule3) OR ((((triple8 ((triple7 triple6 ((triple5 triple10) -> rule2)) -> rule5) triple5) -> rule6) ((triple7 triple6 ((triple5 triple10) -> rule2)) -> rule5) triple5) -> rule3))]