They always call him rough Bob. People think Charlie is nice and kind for someone so young.  Charlie wears his favorite color green all the time. Red Fred is what folks call him, because he is quite red. Harry is round, dresses in red, but is blue with cold. A person with nice, blue traits who is young will surely be a round person. A green person is going to be rough. A person with the qualities of being cold and being red will also be a person that is green. A blue, rough and round person will also be a big person.
Harry is not red.
@0: Bob is rough.[(triple1)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Fred is red.[(triple6)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is red.[(triple8)] Harry is round.[(triple7)] @1: Charlie is rough.[(((triple5) -> rule2))] Harry is green.[(((triple9 triple8) -> rule3))] @2: Harry is rough.[(((((triple9 triple8) -> rule3)) -> rule2))] @3: Harry is big.[(((triple10 ((((triple9 triple8) -> rule3)) -> rule2) triple7) -> rule4))]