Bob is blue. Bob is furry. Bob is nice. Blue people are big. Furry, big people are rough.
Bob is not young.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] @1: Bob is big.[(((triple1) -> rule1))] @2: Bob is rough.[(((triple2 ((triple1) -> rule1)) -> rule2))]