Bob was born only a few years ago so he is young. That Charlie is as round and red as a cherry, and twice as kind. Young Dave knew he was round, but he hadn't realized how rough and kind he was. His green nature left him cold and numb to these facts. Gary is blue from ink he spilled on himself while being kind and helping some children paint. People who are red and round are usually assumed to be green. Don't be surprised to hear that all nice, kind folks are in fact rough. Someone being both nice and kind means that they are a big person. A young person with cold, rough skin will be red as well. Nice people who are green and red will also have round shapes. A cold, red, kind soul will also prove to be nice.
Bob is round.
@0: Bob is young.[(triple1)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2)] Dave is cold.[(triple10)] Dave is green.[(triple9 OR ((((triple5 triple7 triple10) -> rule4) triple6) -> rule1))] Dave is kind.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6 OR ((triple9 ((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6) ((triple5 triple7 triple10) -> rule4)) -> rule5))] Dave is young.[(triple5)] Gary is blue.[(triple12)] Gary is kind.[(triple11)] @1: Charlie is green.[(((triple3 triple2) -> rule1))] Dave is red.[(((triple5 triple7 triple10) -> rule4))] @2: Dave is nice.[(((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6))] @3: Dave is big.[(((((triple8 triple10 ((triple5 triple7 triple10) -> rule4)) -> rule6) triple8) -> rule3))]