Bob is furry. Bob is quiet. Bob is young. Young, nice things are rough. Young things are round. Furry, young things are nice.
Bob is not nice.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] @1: Bob is nice.[(((triple1 triple3) -> rule3))] Bob is round.[(((triple3) -> rule2))] @2: Bob is rough.[(((triple3 ((triple1 triple3) -> rule3)) -> rule1))]