Bob is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Dave has been blue because he's green with envy. Eric, who is nice and green, is also cold and blue. Harry has been blue because he's green with envy. When people are still young, the blue and round ones will also be a bit red. If you paint someone who is round blue and green, they must be young. Remember that anyone with round shapes and rough edges is nice. When you make the hulk big and green, he is filled with red rage. If someone is round they could be red or blue, or green. Nice blue people are usually round in shape. When you meet a person who is cold and nice, you can bet they'll be kind too.
Eric is young.
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is nice.[(triple1)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Eric is blue.[(triple9)] Eric is cold.[(triple8)] Eric is green.[(triple7)] Eric is nice.[(triple6)] Harry is blue.[(triple11)] Harry is green.[(triple10)] @1: Bob is round.[(((triple1 triple3) -> rule6))] Eric is kind.[(((triple8 triple6) -> rule7))] Eric is round.[(((triple6 triple9) -> rule6))] @2: Eric is young.[(((triple9 ((triple6 triple9) -> rule6) triple7) -> rule2))] @3: Eric is red.[(((triple9 ((triple6 triple9) -> rule6) ((triple9 ((triple6 triple9) -> rule6) triple7) -> rule2)) -> rule1))]