Bob is smart. Bob is white. Bob is young. If someone is kind then they are rough. All rough, smart people are green. White people are kind.
Bob is green.
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] @1: Bob is kind.[(((triple2) -> rule3))] @2: Bob is rough.[(((((triple2) -> rule3)) -> rule1))] @3: Bob is green.[(((((((triple2) -> rule3)) -> rule1) triple1) -> rule2))]