Bob has been blue because he's green with envy. Charlie is big, but he is also nice and kind. Dave feels blue because the other kids made fun of his round shape. Harry has been blue because he's green with envy. People who are round and red are young. Blue people who are also green with envy are rough. Kind and round people are often cold to people. A person that is nice and big is always round. A person who is attending school will be quite young and always wearing green and red clothing is always going to be nice to you. A kind natured and big shaped person that is also cold will be green.
Dave is kind.
@0: Bob is blue.[(triple2)] Bob is green.[(triple1)] Charlie is big.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Dave is blue.[(triple7)] Dave is round.[(triple6)] Harry is blue.[(triple9)] Harry is green.[(triple8)] @1: Bob is rough.[(((triple2 triple1) -> rule2))] Charlie is round.[(((triple3 triple5) -> rule4))] Harry is rough.[(((triple9 triple8) -> rule2))] @2: Charlie is cold.[(((triple4 ((triple3 triple5) -> rule4)) -> rule3))] @3: Charlie is green.[(((triple4 triple5 ((triple4 ((triple3 triple5) -> rule4)) -> rule3)) -> rule6))]