Bob is young. Gary is rough. If someone is rough then they are smart. All young, smart people are kind. If Gary is rough then Gary is big. Kind, furry people are rough. If Bob is smart and Bob is kind then Bob is rough. If someone is young then they are smart.
Bob is smart.
@0: Bob is young.[(triple1)] Gary is rough.[(triple2)] @1: Bob is smart.[(((triple1) -> rule6))] Gary is big.[(((triple2) -> rule3))] Gary is smart.[(((triple2) -> rule1))] @2: Bob is kind.[(((triple1 ((triple1) -> rule6)) -> rule2))] @3: Bob is rough.[(((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule5))]