Bob is young, round and kind with green ideas and wears blue clothes. Dave seems to be round. Gary is a big fellow, often blue and sad, but he is nice. Harry seems to be round. A kind person will certainly be rough as well. Anyone rough in texture and young in age is a cold person. A green person that is rough and cold is often also nice. People who are round and red tend  to be rough. Nice people who are also red are going to be cold too.
Bob is not cold.
@0: Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is round.[(triple6)] Gary is big.[(triple9)] Gary is blue.[(triple8)] Gary is nice.[(triple7)] Harry is round.[(triple10)] @1: Bob is rough.[(((triple3) -> rule1))] @2: Bob is cold.[(((((triple3) -> rule1) triple1) -> rule2))] @3: Bob is nice.[(((((((triple3) -> rule1) triple1) -> rule2) triple4 ((triple3) -> rule1)) -> rule3))]