Bob is big. All furry people are smart. If someone is big then they are smart. If someone is big then they are white. If Bob is big then Bob is not nice. White, smart people are green. If someone is big and rough then they are green. Green people are rough. Nice, green people are rough.
Bob is not rough.
@0: Bob is big.[(triple1)] @1: Bob is not nice.[(((triple1) -> rule4))] Bob is smart.[(((triple1) -> rule2))] Bob is white.[(((triple1) -> rule3))] @2: Bob is green.[(((((triple1) -> rule3) ((triple1) -> rule2)) -> rule5))] @3: Bob is rough.[(((((((triple1) -> rule3) ((triple1) -> rule2)) -> rule5)) -> rule7))]