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 not rough.
@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))]