Bob is cold. If someone is young and rough then they are smart. Smart people are rough. If someone is young then they are smart. Rough, big people are cold. If someone is blue then they are smart. If Bob is cold then Bob is blue.
Bob is smart.
@0: Bob is cold.[(triple1)] @1: Bob is blue.[(((triple1) -> rule6))] @2: Bob is smart.[(((((triple1) -> rule6)) -> rule5))] @3: Bob is rough.[(((((((triple1) -> rule6)) -> rule5)) -> rule2))]