Big, red Bob is quite kind. Charlie is big and tends to wear red shirts. They always call him rough Gary. Harry is a young man who is also kind, blue and rough. Kind young people are red. If you see someone who is red and green they are round, like Santa Claus. You know when you meet a red, blue and kind person, that means they are green. Somebody having round, cold and kind traits is also sure to be young.
Gary is cold.
@0: Bob is big.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is big.[(triple5)] Charlie is red.[(triple4)] Gary is rough.[(triple6)] Harry is blue.[(triple10)] Harry is kind.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Harry is red.[(((triple9 triple7) -> rule1))] @2: Harry is green.[(((((triple9 triple7) -> rule1) triple10 triple9) -> rule3))] @3: Harry is round.[(((((triple9 triple7) -> rule1) ((((triple9 triple7) -> rule1) triple10 triple9) -> rule3)) -> rule2))]