Red Bob is what folks call him, because he is quite red. Charlie is nice and kind. He is green with envy which makes him feel blue. Fred is made of many colors, red and blue and green. He is also rough and cold. Harry always goes out of his way to show that he is kind to people. Young people tend to be blue all the time and rough. If someone is blue, young, and rough, they qualify as being round. Anyone who's got young, round and big traits is bound to have a red trait, too. Looking blue can be a sign that someone is cold. People who are nice and kind are somewhat young.
Harry is not green.
@0: Bob is red.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Fred is blue.[(triple10)] Fred is cold.[(triple9 OR ((triple10) -> rule4))] Fred is green.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Harry is kind.[(triple11)] @1: Charlie is cold.[(((triple5) -> rule4))] Charlie is young.[(((triple3 triple2) -> rule5))] @2: Charlie is rough.[(((triple5 ((triple3 triple2) -> rule5)) -> rule1))] @3: Charlie is round.[(((((triple5 ((triple3 triple2) -> rule5)) -> rule1) ((triple3 triple2) -> rule5) triple5) -> rule2))]