Upon meeting Bob, you'll notice he's green and kind. Charlie is a nice and red, but very kind person as soon as you meet him. Eric is blue and cold. Harry is young and kind.  But he plays really rough with his friends. A cold person who is round but rough around the edges is big. Rough people are often round. I've been told that big, nice people are very rough. A kind and nice person who is looking green is often red. Young, kind people with a round body shape can be cold to strangers. Nice young people who are always cold end up also being big.
Harry is red.
@0: Bob is green.[(triple2)] Bob is kind.[(triple1)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Harry is round.[(((triple9) -> rule2))] @2: Harry is cold.[(((triple10 triple8 ((triple9) -> rule2)) -> rule5))] @3: Harry is big.[(((((triple9) -> rule2) ((triple10 triple8 ((triple9) -> rule2)) -> rule5) triple9) -> rule1))]